Joe Groocock 01a7ec2acf

Dynamically identify the "default" git 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-05-18 10:46:05 +00:00

..

config

Dynamically identify the "default" git branch

2022-05-18 10:46:05 +00:00

gitignore

dotfiles: move .config/* to root

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