I think a more suitable detail here would be to have the remote system
respond to pushes by stating that it's taking your push request under
advisement, but cannot give an immediate verdict for that request (and it
may want to let you know that it's updated a different ref of its choice
that you didn't intentionally request).
$ git push
f99642a..e70de97 HEAD -> master (proposed, not updated)
$ git log --oneline origin/master
f99642a Original commit
(wait for external signal, like getting a confirmation email)
$ git fetch
f99642a..e70de97 maaster -> origin/master
$ git log --oneline origin/master
f99642a Your commit
I think the only thing that would be needed would be a way for the remote
server to report that it's not updating the ref, but it is planning to act
on your request, so that your local git can give a non-error without
updating the remote branch inappropriately. (Presumably, the server would
have used a pre-update hook to give this response, which would have
enqueued the request in the CI system; when the CI system likes a change,
it can push and the hook would detect that it's actually the CI system and
let the update happen).
-Daniel
*This .sig left intentionally blank*
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html