start | find | index | login or register | edit
by earl, 4757 days ago
You have a Git repository on a remote machine and you push to this repository. The remote repository is non-bare and you want the remote working directory to always match the HEAD after the repository was pushed to. Then use the following post-receive hook (and don't forget to chmod +x it):

if [ "$GIT_DIR" = "." ]; then
cd .. ; (echo -n "Remote checkout: "; git reset --hard)
powered by vanilla
echo earlZstrainYat|tr ZY @. • esa3 • online for 7503 days • c'est un vanilla site