about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorMichael Vetter <jubalh@iodoru.org>2022-09-06 20:01:51 +0200
committerMichael Vetter <jubalh@iodoru.org>2022-09-06 20:01:51 +0200
commit5d945a9629336e1ec27f8a9b9263c277f65fb290 (patch)
tree444edf51d892258bb2220564b54af60c8a1758aa
parent59c5b4e7a6fade55d9cd6be36ef3f85d736b3ac4 (diff)
downloadprofani-tty-5d945a9629336e1ec27f8a9b9263c277f65fb290.tar.gz
contributing: add part about other git services
-rw-r--r--CONTRIBUTING.md7
1 files changed, 7 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 91af6aad..60bac6ef 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -29,6 +29,13 @@ In case GitHub is down or you can't use it for any other reason, you can send a
 We recommend that you follow the workflow mentioned above.
 And create your patch using the [`git-format-patch`](https://git-scm.com/docs/git-format-patch) tool: `git format-patch master --stdout > feature.patch`
 
+### Another git service
+We prefer if you create a pull request on GitHub.
+Then our team can easily request reviews. And we have the history of the review saved in one place.
+
+If using GitHub is out of the question but you are okay using another service (i.e.: GitLab, codeberg) then please message us in the MUC or send us an email.
+We will then pull from your repository and merge manually.
+
 ### Rules
 
 * When fixing a bug, describe it and how your patch fixes it.