summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.md9
1 files changed, 9 insertions, 0 deletions
diff --git a/README.md b/README.md
index d57c9ac..c2d3596 100644
--- a/README.md
+++ b/README.md
@@ -6,3 +6,12 @@ understanding of the protocols.
The rendered output from these sources can be found at
<https://yuck.liw.fi/> (built by CI).
+
+# Workflow
+
+To make changes to this repository, we use the following workflow:
+
+* push proposed changes to GitLab.com and open a merge request
+* any project developer can merge
+ - a single reviewer saying OK is enough to merge
+ - if someone else has objections, they should open issues for them