diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2013-10-25 17:07:27 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2013-10-25 17:07:27 +0100 |
commit | 85eb1b447f987dc7da3960dd0d078ad6b7d6dd6f (patch) | |
tree | 60c00505ad6e0d24b0188c23bc0dfad364fe173e | |
parent | 2858ecef5bad752f86bfeb101370aea0b15834ac (diff) |
Mention "git merge", not "git-merge", in helpful message. Closes:#725632.
-rw-r--r-- | debian/changelog | 2 | ||||
-rwxr-xr-x | dgit | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index fd85edc..8d87a03 100644 --- a/debian/changelog +++ b/debian/changelog @@ -14,6 +14,8 @@ dgit (0.17~experimental4) experimental; urgency=low not to have caused any real trouble in previous versions of dgit. * Retrospectively mention in changelog entry for 0.16~experimental2 that it Closes:#727125. + * Mention "git merge", not "git-merge", in helpful message. + Closes:#725632. -- @@ -1459,7 +1459,7 @@ sub cmd_push { is_fast_fwd(lrref(), 'HEAD') or fail "dgit push: HEAD is not a descendant". " of the archive's version.\n". - "$us: To overwrite it, use git-merge -s ours ".lrref()."."; + "$us: To overwrite it, use git merge -s ours ".lrref()."."; } else { $new_package or fail "package appears to be new in this suite;". |