; admin/notes/git-workflow

Mention reverting on release branch.

diff --git a/admin/notes/git-workflow b/admin/notes/git-workflow
index 63e96d0397c977c8b578c1a0fdc9980f9c215318..d109cdaa354a20d91714a0c436b92fee727ac128 100644 (file)
--- a/admin/notes/git-workflow
+++ b/admin/notes/git-workflow
@@ -75,6 +75,17 @@ and add "Backport:" to the commit string.  Then
 git push
 
 
+Reverting on release branch
+===========================
+
+If a commit is made to the release branch, and then it is later
+decided that this change should only be on the master branch, the
+simplest way to handle this is to revert the commit on the release
+branch, and include in the associated log entry "do not merge to master".
+(Otherwise, the reversion may get merged to master, and inadvertently
+clobber the change on master if it has been manually made there.)
+
+
 Merging release branch to the master
 ====================================