dgit push-build: Populate the split brain cache if necessary

Closes: #1019454
Reported-by: Simon McVittie <smcv@debian.org>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

1 files changed, 9 insertions, 0 deletions

diff --git a/dgit b/dgit
index 8199de8..29134b8 100755
--- a/dgit
+++ b/dgit
@@ -5086,6 +5086,15 @@ sub prep_push () {
 
 sub cmd_push_built {
     prep_push();
+    if (do_split_brain()) {
+	# We may need to make the split brain view now, bedcause if
+	# the user built the package other than with dgit they may
+	# have a correct .dsc, but not populated the cache.
+	#
+	# Do this only in split brain mode, since we don't actually
+	# want to update HEAD!
+	build_maybe_quilt_fixup();
+    }
     dopush();
 }