dgit: Provide rpush-built as an (as yet undocumented) alias

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

1 files changed, 4 insertions, 2 deletions

diff --git a/dgit b/dgit
index 2a77988..dbfcaae 100755
--- a/dgit
+++ b/dgit
@@ -5215,11 +5215,13 @@ sub i_method {
     { no strict qw(refs); &{"${base}_${selector}"}(@args); }
 }
 
-sub pre_rpush ()        { not_necessarily_a_tree(); }
 sub pre_rpush_source () { not_necessarily_a_tree(); }
+sub pre_rpush_built ()  { not_necessarily_a_tree(); }
+sub pre_rpush ()        { not_necessarily_a_tree(); }
 
-sub cmd_rpush        { rpush_core('push');        }
 sub cmd_rpush_source { rpush_core('push-source'); }
+sub cmd_rpush_built  { rpush_core('push');        }
+sub cmd_rpush        { cmd_rpush_built;           }
 sub rpush_core ($) {
     ($rpush_verb) = @_;