I have a LaTeX project in git, there is a makefile. So basically a server would have to do this:
git checkout master make > logfile 2>&1
Given that I push into a repo on the server.
I could do this with a cron job, but it seems kind of missing the point. Is there some way to initiate this after I pushed via SSH?