John D Pell a99b597217 plugin/git-subrepo: use `$HOME` instead of `~` ... If the outer variable is double-quoted, then the default expansion when undefined does not get tilde-expanded. Use `$HOME`.		2022-01-01 22:32:03 -08:00
..
available	plugin/git-subrepo: use `$HOME` instead of `~`	2022-01-01 22:32:03 -08:00