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