hugo-theme-relearn/.githooks/pre-push.py

44 lines
1.8 KiB
Python
Raw Normal View History

2024-01-05 14:47:37 +00:00
#!/usr/bin/env python3
# This script avoids to push branches starting with a "#". This is the way
# how I store ticket related feature branches that are work in progress.
# Once a feature branch is finished, it will be rebased to mains HEAD,
# its commits squashed, merged into main and the branch deleted afterwards.
# Call this script from your ".git/hooks/pre-push" file like this (supporting
# Linux, Windows and MacOS)
# #!/bin/sh
# echo 'execute .githooks/pre-push.py' >> .githooks/hooks.log
# python3 .githooks/pre-push.py
2024-01-05 14:47:37 +00:00
from datetime import datetime
2024-01-05 14:47:37 +00:00
import re
import subprocess
2024-01-05 14:47:37 +00:00
# This hook is called with the following parameters:
# $1 -- Name of the remote to which the push is being done
# $2 -- URL to which the push is being done
# If pushing without using a named remote, those arguments will be equal.
# Information about the commits being pushed is supplied as lines to
# the standard input in the form:
# <local ref> <local sha1> <remote ref> <remote sha1>
# This hook prevents the push of commits that belong to branches starting with
2024-01-05 15:31:22 +00:00
# an "#" (which are work in progress).
2024-01-05 14:47:37 +00:00
def main():
time = datetime.now().strftime("%Y-%m-%d %H:%M:%S")
2024-01-05 14:47:37 +00:00
local_branch = subprocess.check_output(['git', 'rev-parse', '--abbrev-ref', 'HEAD'], universal_newlines=True).strip()
2024-01-05 15:15:09 +00:00
wip_prefix = '^#\\d+(?:\\b.*)$'
2024-01-05 14:47:37 +00:00
if re.match(wip_prefix, local_branch):
print(f'{time}: PRE-PUSH - Branch "{local_branch}" was not pushed because its name starts with a "#" which marks it as work in progress', file=open(".githooks/hooks.log", "a"))
print(f'PRE-PUSH - Branch "{local_branch}" was not pushed because its name starts with a "#" which marks it as work in progress')
2024-01-05 14:47:37 +00:00
exit(1)
print(f'{time}: PRE-PUSH - Branch "{local_branch}" was pushed', file=open(".githooks/hooks.log", "a"))
2024-01-05 14:47:37 +00:00
exit(0)
if __name__ == "__main__":
main()