I'm committing changes to my local git repo, then I push the changes to the location I cloned my local repository from in the first place. Is it possible to tell the remote repository to check out HEAD locally (i.e., on the server) after the push?
Background: I'm working on assignments from university. Me and my buddy work and commit locally and then push the changes to repository on the uni - server. There, everything has to be checked out again. Git is just for the comfortability of the students, the result must always be on the server as simple files. Now, I always have to login on that server and do the checkout myself, which is really annoying because I might as well just copy the files. I know I could just make a simple bash script to do that, I'm just wondering if git could do that for me?