So, we have a git repository set up on a web server machine 'out there' somewhere. I make my local copy of the repository on my computer and do some editing etc. Then 'git commit' commits the changes to my local repository and a 'git push' sends the changes back to the remote repository.
However I don't see how the files get to 'go live' on the remote web server, my 'git push' has simply put them back into the repository on that system. Presumably someone/somewhere has to extract the files from the git repository on the remote into the working directories from which the web server displays them. Is there a specific git command for doing this or would one use the standard 'git clone' to do it, or what?