diff options
author | Ralf Jung <post@ralfj.de> | 2016-02-07 21:12:23 +0100 |
---|---|---|
committer | Ralf Jung <post@ralfj.de> | 2016-02-07 21:12:23 +0100 |
commit | 60877f94f2df11e525401003fa4658075b65669e (patch) | |
tree | 7ad2e8b5154f15ce5a63dc16377ef8a1ced6d65d | |
parent | 1a85298cc06a5dd0d84961bb1060b1049920ef07 (diff) |
fix catching exceptions
-rwxr-xr-x | github-add-hooks.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/github-add-hooks.py b/github-add-hooks.py index 07be2e4..3a2d66c 100755 --- a/github-add-hooks.py +++ b/github-add-hooks.py @@ -79,7 +79,7 @@ try: 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!".format(args.local)) -except E: +except Exception as E: shutil.copy(config_file+".bak", config_file) raise |