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 22a952dd53
commit b07a2c095b
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@@ -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