Die HTML-Quelle für meine Webseite befindet sich in einem Git-Repository auf meinem lokalen Computer. Dieser Artikel beschreibt, welche Einstellungen ich vorgenommen habe, so dass ich Änderungen einfach mit "Git Push Web" einarbeiten kann.
Einzeilige Zusammenfassung: via push in ein Remote-Repository hochladen und ein post-receive Hook mit "git checkout -f".
Nun etwas ausführlicher....
