diff options
author | Ralf Jung <post@ralfj.de> | 2016-02-07 21:10:27 +0100 |
---|---|---|
committer | Ralf Jung <post@ralfj.de> | 2016-02-07 21:10:27 +0100 |
commit | 1a85298cc06a5dd0d84961bb1060b1049920ef07 (patch) | |
tree | 010b815bd19d6dad5435d84dd24dd01f6eced437 /githook.py | |
parent | 3311042f60fc70b874138f5c4e1f54b38ad751da (diff) |
slightly more informative error messages
Diffstat (limited to 'githook.py')
-rwxr-xr-x | githook.py | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -35,7 +35,7 @@ if __name__ == "__main__": # find the repository we are dealing with reponame = find_repo_by_directory(repos, os.getcwd()) if reponame is None or reponame not in repos: - raise Exception("Unknown repository.") + raise Exception("Unknown repository {}.".format(reponame)) # now sync this repository repo = repos[reponame] @@ -50,5 +50,5 @@ if __name__ == "__main__": if repo is not None: repo.mail_owner("There was a problem running the git-mirror git hook:\n\n{}".format(traceback.format_exc())) # do not print all the details - sys.stderr.write("We have a problem:\n{}".format('\n'.join(traceback.format_exception_only(type(e), e)))) + sys.stderr.write("git-mirror: We have a problem:\n{}".format('\n'.join(traceback.format_exception_only(type(e), e)))) |