From 22d0080ba753d1942cf33cc8386a0c45b9433228 Mon Sep 17 00:00:00 2001 From: florck <florian.thoni@floth.fr> Date: Sat, 25 Nov 2017 16:51:54 +0000 Subject: [PATCH] Add template for PR on github --- .github/PULL_REQUEST_TEMPLATE.md | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 .github/PULL_REQUEST_TEMPLATE.md diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md new file mode 100644 index 00000000..1512bcad --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -0,0 +1,10 @@ +This project is now tracked on our hosted gitlab server at: +> https://git.duniter.org/clients/cesium/cesium + +The current github repository is a simple clone taken up to date at each push on the main gitlab repository. + +All contributions should be performed on the main gitlab repository. + +Pull requests proposed on github would generate more work for the main contributors, therefore we would really appreciate if you can create instead merge requests on our hosted gitlab instance. + +Thank you for your understanding. -- GitLab