diff options
author | Michael Vetter <jubalh@iodoru.org> | 2022-09-06 20:01:51 +0200 |
---|---|---|
committer | Michael Vetter <jubalh@iodoru.org> | 2022-09-06 20:01:51 +0200 |
commit | 5d945a9629336e1ec27f8a9b9263c277f65fb290 (patch) | |
tree | 444edf51d892258bb2220564b54af60c8a1758aa | |
parent | 59c5b4e7a6fade55d9cd6be36ef3f85d736b3ac4 (diff) | |
download | profani-tty-5d945a9629336e1ec27f8a9b9263c277f65fb290.tar.gz |
contributing: add part about other git services
-rw-r--r-- | CONTRIBUTING.md | 7 |
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. |