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