diff options
authorintrigeri <>2019-04-05 08:40:14 +0000
committerintrigeri <>2019-04-05 08:40:14 +0000
commitbd8cd79ca7e611b4211c58d353c8f653fd114f8c (patch)
parent323ab25c36519d65d0ed66ebc78ff7bc5df12f39 (diff)
One needs to push to Salsa as well in order to create a MR.
1 files changed, 2 insertions, 1 deletions
diff --git a/wiki/src/contribute/merge_policy/submit.mdwn b/wiki/src/contribute/merge_policy/submit.mdwn
index 29c406e..a367a46 100644
--- a/wiki/src/contribute/merge_policy/submit.mdwn
+++ b/wiki/src/contribute/merge_policy/submit.mdwn
@@ -9,7 +9,8 @@ When you think it is good enough and have tested it, you have to:
1. Push your branch
- If you have commit access to the official Tails Git repository,
- push your branch there so our CI picks it up.
+ push your branch there (so our CI picks it up) and to your personal fork
+ of the [Tails repository on Salsa](
- Else, push to your personal Git repository:
[fork us on Salsa](
2. Set the ticket's *Status* field to *In Progress* (if you do not see