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.
--
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;".