Closed koppor closed 4 years ago
When merged, this pull request proposes to manually add the following to the AUTHORS file. In case you want to raise a different proposal, please comment here (we will adapt our .mailmap
file then) or adjust your name in your git configuration. You will have to rewrite your git history and use git commit --author="John Doe <john@doe.org>"
for each changed commit.
Vincent Gagnon
When merged, this pull request proposes to manually add the following to the AUTHORS file. In case you want to use a different name, please comment here (we will adapt our .mailmap
file then) and adjust your name in your git configuration for future commits.
Vincent Gagnon
The JabRef maintainers will add the following name to the AUTHORS file. In case you want to use a different one, please comment here and adjust your name in your git configuration for future commits.
Vincent Gagnon
Released in JabRef/master
When merged, this pull request proposes to manually add the following to the AUTHORS file. In case you want to raise a different proposal, please comment here (we will adapt our
.mailmap
file then) or adjust your name in your git configuration. You will have to rewrite your git history and usegit commit --author="John Doe <john@doe.org>"
for each changed commit.