From a08c36417f1f43042ea6a44dad8ce85a7fb372b0 Mon Sep 17 00:00:00 2001
From: David Bremner <david@tethera.net>
Date: Sat, 28 Apr 2018 08:34:48 -0300
Subject: [PATCH] build: push additional refs during release

These currently have to be pushed by hand during a release, which
isn't a big deal, but is one more thing to remember.
---
 Makefile.local | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.local b/Makefile.local
index df95f5fc..2bf0e17a 100644
--- a/Makefile.local
+++ b/Makefile.local
@@ -76,7 +76,7 @@ release: verify-source-tree-and-version
 	mv $(TAR_FILE) $(SHA256_FILE) $(GPG_FILE) releases
 	$(MAKE) VERSION=$(VERSION) release-message > $(PACKAGE)-$(VERSION).announce
 ifeq ($(REALLY_UPLOAD),yes)
-	git push origin $(VERSION)
+	git push origin $(VERSION) $(DEB_TAG) release pristine-tar
 	cd releases && scp $(TAR_FILE) $(SHA256_FILE) $(GPG_FILE) $(RELEASE_HOST):$(RELEASE_DIR)
 	ssh $(RELEASE_HOST) "rm -f $(RELEASE_DIR)/LATEST-$(PACKAGE)-* ; ln -s $(TAR_FILE) $(RELEASE_DIR)/LATEST-$(TAR_FILE)"
 endif