diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-09-04 11:27:06 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-09-04 12:36:11 +0100 |
commit | d6ce5696754c895926e122ed9b4690703dcdb78a (patch) | |
tree | f5d491efbfdca4bfe1d2aac3ebdd60cd3d8da375 /dgit-maint-merge.7.pod | |
parent | 2df2d6795e7ef7f34fb9a52236ecc9e8d40145fa (diff) |
docs: Update for changes to dgit push-*, and recommend push-source
In command line runes and examples, generally change to
"dgit push-source".
In running text whwere we talk about "push or push-source", change to
"push-built or push-source".
In running text where we talk loosely about "push", leave it that way.
Closes: #992606
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit-maint-merge.7.pod')
-rw-r--r-- | dgit-maint-merge.7.pod | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dgit-maint-merge.7.pod b/dgit-maint-merge.7.pod index 61399ef..db352f3 100644 --- a/dgit-maint-merge.7.pod +++ b/dgit-maint-merge.7.pod @@ -350,7 +350,7 @@ A single combined diff, containing all the changes, follows. =head1 BUILDING AND UPLOADING Use B<dgit build>, B<dgit sbuild>, B<dgit pbuilder>, B<dgit -cowbuilder>, B<dgit push-source>, and B<dgit push> as detailed in +cowbuilder>, B<dgit push-source>, and B<dgit push-built> as detailed in dgit(1). If any command fails, dgit will provide a carefully-worded error message explaining what you should do. If it's not clear, file a bug against dgit. Remember to pass I<--new> for the first upload. |