Closed TheGreatPanda closed 8 years ago
I hadn't considered this scenario. You should probably set some git credentials, the commit info is set to "Your Name".
Sorry, I'm quite new to the whole git/github workflow :). So, now that I've set my credentials, what should I do?
No problem! Changing the commit to contain your new author credentials is a little tricky for someone new to git. You're best off simply running git reset --hard 9a23e13
and making the change and committing it again with your new credentials set. Then you have to git push -f
to overwrite the branch.
Woah, didn't know github automatically closed PRs without any new commits.
I'm going to submit a pull request now. Thanks so much for your help :100:.
I exported geddit.vote. The old geddit.vote created interesting problems: