other: Update git hook

2 files changed, 5 insertions, 0 deletions

diff --git a/.githooks/update b/.githooks/update
index 1b8d57769..0f537a164 100755
--- a/.githooks/update
+++ b/.githooks/update
@@ -44,6 +44,9 @@ def get_commit_shas(start_ref: str, end_ref: str) -> List[str]:
     data = subprocess.check_output(['git', 'rev-list', arg])
     text = data.decode()
     text = text.strip()
+    if not text:
+        # Can happen if commits are deleted after force push
+        return []
     return text.split('\n')
 
 
@@ -79,6 +82,7 @@ def main(args: Tuple[str, str, str]) -> None:
 
     shas = get_commit_shas(old_ref, new_ref)
     for sha in shas:
+        print('Check', sha)
         subject = get_commit_subject(sha)
         enforce_message_rules(subject)
 
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index d05d09e98..948ccd6ba 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -51,6 +51,7 @@ Prefixes for development
 - refactor  (code was changed, but the end user will not notice)
 - chore     (reoccuring tasks which need to be done)
 - release   (only used for release commits)
+- revert    (used when a commit needs to be reverted)
 - other
 
 Further the first letter after the tag must be upper case