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))
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))