diff options
| author | Glenn Morris <rgm@gnu.org> | 2020-05-03 10:21:21 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2020-05-03 10:21:21 -0700 |
| commit | 82c506192b5ae1a454dccfae2f41fa3ee6d5e990 (patch) | |
| tree | ac9e55f02d892ff03823c6fef762218995b8c2c0 /admin/notes/git-workflow | |
| parent | 97146efdc62914a99cce5a9bf4db4770c4aaa3ca (diff) | |
| download | emacs-82c506192b5ae1a454dccfae2f41fa3ee6d5e990.tar.gz | |
; admin/notes/git-workflow
Mention reverting on release branch.
Diffstat (limited to 'admin/notes/git-workflow')
| -rw-r--r-- | admin/notes/git-workflow | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/admin/notes/git-workflow b/admin/notes/git-workflow index 63e96d0397c..d109cdaa354 100644 --- 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 ==================================== |
