Handle branches better with git lint

This commit is contained in:
Loic Nageleisen 2025-03-12 13:37:24 +01:00
parent 037c5a13c3
commit 7877409124
Signed by: lloeki
GPG key ID: D05DAEE6889F94C2

View file

@ -40,7 +40,7 @@
save = !git add -A && git commit -m 'SAVEPOINT'
undo = reset HEAD~1 --mixed
backup = !git push origin/backup/$(whoami)/$(git branch)
lint = !git branch --merged | grep -v \"^\\s*master$\" | grep -v \"\\*\" | xargs -n 1 git branch -d
lint = !git branch --merged ${1-} | grep -v -E -e '^[*]?[ ]*(main|master|[0-9]+[.]([0-9]+|x)-stable)$' -e '^[*][ ]+' | xargs -r -n 1 git branch -d
modified = !git status --porcelain | perl -ne '/^M (.*)/ and print \"$1\\n\"'
conflicts = !git status --porcelain | perl -ne '/^UU (.*)/ and print \"$1\\n\"'
fetch-pr = !git fetch origin pull/${1}/head:pr/${1}