-- Leo's gemini proxy
-- Connecting to warmedal.se:1965...
-- Connected
-- Sending request
-- Meta line: 20 text/gemini; lang=en
These are the aliases you should always have in "${HOME}/.gitconfig":
[alias] tidy = !git branch | grep -vE "^\*| master$| main$" | xargs -r git branch -D brief = !git log --oneline | head
Annoying that "git fetch --prune" doesn't clean up local branches, but whatever.
-- CC0 ew0k, 2023-03-13
-- Response ended
-- Page fetched on Sat May 4 15:21:32 2024