From 5d945a9629336e1ec27f8a9b9263c277f65fb290 Mon Sep 17 00:00:00 2001 From: Michael Vetter Date: Tue, 6 Sep 2022 20:01:51 +0200 Subject: [PATCH] contributing: add part about other git services --- CONTRIBUTING.md | 7 +++++++ 1 file changed, 7 insertions(+) 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.