Ich habe mir die Githooks-Manpage angesehen, aber wenn mir nichts fehlt, sehe ich keine Option für lokale Git-Hooks nach dem Push. Ich hätte gerne eine, die die API-Dokumente auf meinem Webserver aktualisiert (für die ich bereits ein Skript habe), nachdem ich den Hauptzweig auf das GitHub-Repo verschoben habe. Natürlich könnte ich einfach mein eigenes Skript schreiben, das den Git-Push und die API-Dokumente kombiniert, aber das fühlt sich etwas unelegant an.
post-update
Hooks können für diesen Fall ausgelöst werden, oder?