From 6fee3f267c56f044538c7af7a427225a44d37a0b Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sun, 11 Oct 2020 14:16:14 +0300 Subject: doc(README.md): document workflow --- README.md | 9 +++++++++ 1 file changed, 9 insertions(+) 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 (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 -- cgit v1.2.1