Skip to content

Finish personal->home role rename (gitconfig.sh + fish prompt)#14

Merged
technicalpickles merged 1 commit into
mainfrom
fix/finish-home-role-rename
Jun 22, 2026
Merged

Finish personal->home role rename (gitconfig.sh + fish prompt)#14
technicalpickles merged 1 commit into
mainfrom
fix/finish-home-role-rename

Commits

Commits on Jun 22, 2026