Don't assume remote name is always the same.

diff --git a/update b/update
index a67a6629e21cf6bb4250b4a9ec47819ed210afae..8941a751b96024ad0a890306a3db7291499c3057 100755 (executable)
--- a/update
+++ b/update
@@ -26,5 +26,6 @@ Regenerated keys.
 EOF
 )"
 
+REMOTE="$(git config --get branch.master.remote)"
 git update-ref -m 'Regenerated keys' refs/heads/autogenerated "$COMMIT"
-git push github +autogenerated
+git push -- "$REMOTE" +autogenerated