diff options
| author | Eli Zaretskii | 2015-02-19 17:40:41 +0200 |
|---|---|---|
| committer | Eli Zaretskii | 2015-02-19 17:40:41 +0200 |
| commit | 65d8ac7c3729e9416696f77a7add8944e069da92 (patch) | |
| tree | 22b26f5e70b2ef3078d86932d9558d4b3de3f82c /admin/notes | |
| parent | 86fe750260ddcf2e10f445f06a3d07c701f15698 (diff) | |
| download | emacs-65d8ac7c3729e9416696f77a7add8944e069da92.tar.gz emacs-65d8ac7c3729e9416696f77a7add8944e069da92.zip | |
Mention in admin/notes/repo how to mark commits that are not to be merged.
Diffstat (limited to 'admin/notes')
| -rw-r--r-- | admin/notes/repo | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/admin/notes/repo b/admin/notes/repo index 46a9e08c698..65bdd2c2c98 100644 --- a/admin/notes/repo +++ b/admin/notes/repo | |||
| @@ -82,7 +82,9 @@ The exception is, if you know that the change will be difficult to | |||
| 82 | merge to the trunk (eg because the trunk code has changed a lot). | 82 | merge to the trunk (eg because the trunk code has changed a lot). |
| 83 | In that case, it's helpful if you can apply the change to both trunk | 83 | In that case, it's helpful if you can apply the change to both trunk |
| 84 | and branch yourself (when committing the branch change, indicate | 84 | and branch yourself (when committing the branch change, indicate |
| 85 | in the commit log that it should not be merged to the trunk; see below). | 85 | in the commit log that it should not be merged to the trunk, by |
| 86 | including the phrase "Not to be merged to master", or any other phrase | ||
| 87 | that matches "merge"). | ||
| 86 | 88 | ||
| 87 | * Installing changes from your personal branches. | 89 | * Installing changes from your personal branches. |
| 88 | 90 | ||