diff options
| author | Francesco Borzì <borzifrancesco@gmail.com> | 2019-08-05 22:55:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-05 22:55:13 +0200 |
| commit | a95ee7cda5234a2d3f2e997d294ba6cc718fb59e (patch) | |
| tree | 9cc03e3d1c540e274a3f6cbd76f38eecc935e9c0 /docs | |
| parent | 9c795919d36efdc7c4ceb49353c259e17873c035 (diff) | |
| download | wiki-a95ee7cda5234a2d3f2e997d294ba6cc718fb59e.tar.gz wiki-a95ee7cda5234a2d3f2e997d294ba6cc718fb59e.tar.bz2 wiki-a95ee7cda5234a2d3f2e997d294ba6cc718fb59e.zip | |
Update Contribute.md
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Contribute.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/Contribute.md b/docs/Contribute.md index c9d8178..b7c4e34 100644 --- a/docs/Contribute.md +++ b/docs/Contribute.md @@ -80,6 +80,8 @@ If you want to submit code written by someone else, you can give credits to the `git commit --author="AuthorName <authoremail@address.com>" -am "Commit message here"` +Update: unfortunately, when merging a PR by squashing the commit, GitHub automatically sets the author of the resulting commit as the person who opened the PR. Because of this reason, please mention the original author (and commit, if applicable) in the PR description. + ## Improve the Wiki Do you want to improve or add a page to our wiki? Good! Let's discuss it using [our chat](https://discord.gg/PaqQRkd). |