I take it back. A git-pull is not a workaround if the ref moved on
the remote end.
-- Perry
On Oct 17, 2007, at 6:35 PM, Perry Wagle wrote:
If I clone a remote repository, make a few commits, push them to
the remote repository, and the update hook on the remote repository
rejects them (exit 1), the local origin refs are still updated as
if the push had gone through. The workaround is to do a pull to
set the origin refs back.
-- Perry
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
