I'm setting up a multi-user, multi-server environment. All developers will use Git and clone various repos from GitHub etc. (in one account I control).
Now, how do I get files from GitHub to the servers (about 5 of them)?
First I was thinking of some sort of automated way to push updates from GutHub to the servers, but now I'm thinking I might prefer to run something on the command line of each server to 'pull' the updates from GitHub. This option doesn't seem to be the done way.
Can I not just install Git on a Linux sever (that I use for serving web files) and then use Git pull to pull them in (i.e. just like any computer used for developing)?
How do most people get GitHub files to their web servers?