Erin cc90f63b64 git: move personal config to separate file ... Stuff like credential stores (which are different by platform) tend to clutter the main file, so I'm shoving them in their own file which won't be touched by automated setup tools		2022-11-16 21:52:10 -05:00
..
personal.gitconfig	git: move personal config to separate file	2022-11-16 21:52:10 -05:00