Joe Groocock ba6173e0ee

git: Dynamically identify the "default" branch ...

This broadly assumes that the "default" remote is called "origin", but
that's better than assuming that plus the default branch name.

Thanks to https://joshtronic.com/2020/08/09/how-to-get-the-default-git-branch/

Suggested-by: Chris Lane <chris@chrislane.com>
Signed-off-by: Joe Groocock <me@frebib.net>

2022-08-31 20:43:06 +00:00

..

config

git: Dynamically identify the "default" branch

2022-08-31 20:43:06 +00:00

gitignore

dotfiles: move .config/* to root

2020-08-10 22:42:14 +01:00