Run update after make-push

To close things out we should re-run make-update to ensure changes are pulled back into the repo we updated from.
2021-11-01 10:05:43 -04:00
parent 44b2766509
commit a4d2e1f8fe
1 changed files with 1 additions and 0 deletions
--- a/.gitlab/Makefile
+++ b/.gitlab/Makefile
@@ -32,3 +32,4 @@ make-push: warning
 	@git remote add common git@gitlab.ducoterra.net:services/common.git
 	@git subtree push --prefix .gitlab common main
 	@git remote remove common
+	@make make-update