a simple tool to switch profiles in git
Go to file
= 631fedb153
initial scripts
2022-08-02 16:33:53 +02:00
.git-switch-user initial scripts 2022-08-02 16:33:53 +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