Hi, Thanks for your contribution.
I'm sorry for the busywork, but please give yourself credit in the commit log by setting the git user.name and user.email.
You could probably also: git commit --amend --author="Your Name <your.email.here>" git push origin HEAD --force
Other than that, it looks good, but we want to have real names in the commit log.
« Back to merge proposal
Hi,
Thanks for your contribution.
I'm sorry for the busywork, but please give yourself credit in the commit log by setting the git user.name and user.email.
You could probably also:
git commit --amend --author="Your Name <your.email.here>"
git push origin HEAD --force
Other than that, it looks good, but we want to have real names in the commit log.