-
Notifications
You must be signed in to change notification settings - Fork 15
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
fix: global git credentials and some other stuff #130
Conversation
Given the name of the PR I thought I'd have to greenlight a |
Yeah I had to do that to not have the same git config copy-pasted in a few places... I thought it would just fly under the radar :) |
To be fair, I tried to be honest about it and split it into two commits. So it could in principle be separated if you want. |
Oh, this also closes #73 then... |
No worries, I'm on it! |
I updated the title of the PR... 🥇 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good and works as it's supposed to. Left one comment for something that you could consider, but I'm fine with merging the PR as is.
closes #128