Files
dotfiles/.config/zsh
Julian Prein bb7ef3769d git: Add branch-rename
Small script to rename a branch locally and on a given remote.
2025-09-12 14:35:44 +02:00
..
2025-09-12 14:35:44 +02:00
2024-11-06 02:51:31 +01:00