Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add git-profile-manager to the list #26

Closed
dm3ch opened this issue Jul 7, 2019 · 0 comments · Fixed by #27
Closed

Add git-profile-manager to the list #26

dm3ch opened this issue Jul 7, 2019 · 0 comments · Fixed by #27

Comments

@dm3ch
Copy link
Contributor

dm3ch commented Jul 7, 2019

https://github.com/dm3ch/git-profile-manager

This tool does the same thing as git-user add-on.

When you set user using git-user - you are just copying profile setting to local repo config.
Tool referenced above works different way - it includes profile config to repo config, so when you'll change profile user it "would be changed" in all repos it is used.

Also this tool supports setting profile for all repos that exists in some directory (using IncludeIf git functionality)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant