diff options
author | Matthias Sohn <matthias.sohn@sap.com> | 2024-03-11 15:04:27 +0100 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2024-03-11 15:04:27 +0100 |
commit | 900c5e62b57750fce8e5488fa45c4b7565b932ff (patch) | |
tree | acba574d6680b4d877a267b4135a8ddf2f2a78a1 | |
parent | 9917074f13544a6dfc9f3cc5520733661c42f2cd (diff) | |
download | jgit-900c5e62b57750fce8e5488fa45c4b7565b932ff.tar.gz jgit-900c5e62b57750fce8e5488fa45c4b7565b932ff.zip |
Add pull request template discouraging usage of pull requests
since we use Gerrit for code review.
Change-Id: I2eeea82452d678564e17e3db9bd6ca7ef4ae4cc2
-rw-r--r-- | .github/pull_request_template.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md new file mode 100644 index 0000000000..19909ac016 --- /dev/null +++ b/.github/pull_request_template.md @@ -0,0 +1,5 @@ +Thank you for contributing to JGit! + +JGit uses [GerritHub](https://eclipse.gerrithub.io) for code changes and review, therefore **pull requests in this repository cannot be merged**. + +Please make sure you have read the section on [contributing patches](https://github.com/eclipse-egit/egit/wiki/Contributor-Guide#contributing-patches) of the [Contributor Guide](https://github.com/eclipse-egit/egit/wiki/Contributor-Guide).
\ No newline at end of file |