diff options
| author | Glenn Morris | 2020-05-03 10:21:21 -0700 |
|---|---|---|
| committer | Glenn Morris | 2020-05-03 10:21:21 -0700 |
| commit | 82c506192b5ae1a454dccfae2f41fa3ee6d5e990 (patch) | |
| tree | ac9e55f02d892ff03823c6fef762218995b8c2c0 /admin/notes/git-workflow | |
| parent | 97146efdc62914a99cce5a9bf4db4770c4aaa3ca (diff) | |
| download | emacs-82c506192b5ae1a454dccfae2f41fa3ee6d5e990.tar.gz emacs-82c506192b5ae1a454dccfae2f41fa3ee6d5e990.zip | |
; 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 | |||
| 75 | git push | 75 | git push |
| 76 | 76 | ||
| 77 | 77 | ||
| 78 | Reverting on release branch | ||
| 79 | =========================== | ||
| 80 | |||
| 81 | If a commit is made to the release branch, and then it is later | ||
| 82 | decided that this change should only be on the master branch, the | ||
| 83 | simplest way to handle this is to revert the commit on the release | ||
| 84 | branch, and include in the associated log entry "do not merge to master". | ||
| 85 | (Otherwise, the reversion may get merged to master, and inadvertently | ||
| 86 | clobber the change on master if it has been manually made there.) | ||
| 87 | |||
| 88 | |||
| 78 | Merging release branch to the master | 89 | Merging release branch to the master |
| 79 | ==================================== | 90 | ==================================== |
| 80 | 91 | ||