a simple tool to switch profiles in git
Go to file
= 02a3a65c43
script fix
2022-08-02 16:41:17 +02:00
.git-switch-user script fix 2022-08-02 16:41:17 +02:00
LICENSE Initial commit 2022-08-02 13:46:08 +00:00
README.md Initial commit 2022-08-02 13:46:08 +00:00
makeprofilealias.sh initial scripts 2022-08-02 16:33:53 +02:00

README.md

git-switch-profile

a simple tool to switch profiles in git