Pull before updating x_status_git

Otherwise statuses which exist on the server but not locally will be
deleted on next force push.

diff --git a/Makefile b/Makefile
index 7e6dbb47897daed18d09820b243abd4932c1fcb2..e37aad55da63206cf56723085461d109c6f03beb 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -6,6 +6,7 @@ nothing:
        @echo 'Type `make remote` to update the remote post-receive script.'
 
 update:
        @echo 'Type `make remote` to update the remote post-receive script.'
 
 update:

+       git pull

        git remote add upstream $(X_STATUS_GIT)
        git fetch upstream
        git checkout --detach upstream/current
        git remote add upstream $(X_STATUS_GIT)
        git fetch upstream
        git checkout --detach upstream/current