fix a format string

diff --git a/github-add-hooks.py b/github-add-hooks.py
index 16baa0be4cb6ea65316f068475f6697de5f394db..ba2b801c5cb4d0732a15bbc44165c4b07a119528 100755 (executable)
--- a/github-add-hooks.py
+++ b/github-add-hooks.py
@@ -78,7 +78,7 @@ try:
     generate_ssh_key(ssh_deploy_key, 4*1024)
     add_deploy_key(ssh_deploy_key, args.owner, args.name, github_token)
     add_web_hook(webhook_url+"?repository="+args.name, hmac_secret, args.owner, args.name, github_token)
     generate_ssh_key(ssh_deploy_key, 4*1024)
     add_deploy_key(ssh_deploy_key, args.owner, args.name, github_token)
     add_web_hook(webhook_url+"?repository="+args.name, hmac_secret, args.owner, args.name, github_token)

-    print("Done! Your GitHub repository is set up.\nRemember to configure the git-mirror hook for the local repository {}, e.g. in your gitolite configuration!", args.local)
+    print("Done! Your GitHub repository is set up.\nRemember to configure the git-mirror hook for the local repository {}, e.g. in your gitolite configuration!".format(args.local))

 except E:
     shutil.copy(config_file+".bak", config_file)
     raise
 except E:
     shutil.copy(config_file+".bak", config_file)
     raise