* Makefile (admin): Fetch `elpa-admin` if necessary

This happens if you do `git clone --single-branch .../elpa.git`.
2022-06-11 16:47:54 -04:00 · 2022-06-11 16:47:54 -04:00 · 7badf29be4
parent 9bbd6d5705
commit 7badf29be4
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -9,4 +9,7 @@ manifest.scm: admin
 	ln -s admin/elpa-manifest.scm $@

 admin:
+	git show-ref --verify --quiet remotes/origin/elpa-admin || { \
+	    git remote set-branches --add origin elpa-admin;	     \
+	    git fetch origin; }
 	git worktree add -b elpa-admin admin origin/elpa-admin