diff options
| author | Glenn Morris | 2019-12-30 09:28:29 -0800 |
|---|---|---|
| committer | Glenn Morris | 2019-12-30 15:53:51 -0800 |
| commit | e729ff504b536ca67030382e5508c1c48f2d0944 (patch) | |
| tree | f05066e8a2433bda7728f7ada200ff1189d1c44d /admin | |
| parent | 248c5e103d61af4352e2c8d9b810babdd4cd6ddf (diff) | |
| download | emacs-e729ff504b536ca67030382e5508c1c48f2d0944.tar.gz emacs-e729ff504b536ca67030382e5508c1c48f2d0944.zip | |
* admin/gitmerge.el (gitmerge-skip-regexp): Be more restrictive.
Diffstat (limited to 'admin')
| -rw-r--r-- | admin/gitmerge.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/gitmerge.el b/admin/gitmerge.el index edf43797304..31d96b0dab3 100644 --- a/admin/gitmerge.el +++ b/admin/gitmerge.el | |||
| @@ -52,7 +52,7 @@ | |||
| 52 | ;; caused false positives. --Stef | 52 | ;; caused false positives. --Stef |
| 53 | (let ((skip "back[- ]?port\\|cherry picked from commit\\|\ | 53 | (let ((skip "back[- ]?port\\|cherry picked from commit\\|\ |
| 54 | \\(do\\( no\\|n['’]\\)t\\|no need to\\) merge\\|not to be merged\\|\ | 54 | \\(do\\( no\\|n['’]\\)t\\|no need to\\) merge\\|not to be merged\\|\ |
| 55 | bump \\(Emacs \\)?version\\|Auto-commit")) | 55 | bump Emacs version\\|Auto-commit")) |
| 56 | (if noninteractive skip | 56 | (if noninteractive skip |
| 57 | ;; "Regenerate" is quite prone to false positives. | 57 | ;; "Regenerate" is quite prone to false positives. |
| 58 | ;; We only want to skip merging things like AUTHORS and ldefs-boot. | 58 | ;; We only want to skip merging things like AUTHORS and ldefs-boot. |