[PATCH] build: push additional refs during release

[David Bremner]

These currently have to be pushed by hand during a release, which
isn't a big deal, but is one more thing to remember.
---

This is hard to test, but if it breaks I can probably fix it up during
the next release, rather than forgetting it for another cycle.

 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
-- 
2.17.0