pgit.sh: Rename command "clone" to "get"

"clone"  in the Git sense means to copy a remote project over from
scratch. pgit.sh clone has come from that, but has since evolved into
something different, a mixture of clone, pull and fetch, so find a
different name. "get" seems generic enough and doesn't clash with a
Git meaning. Adapt variable names accordingly across the project.

Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2026-02-21 09:29:11 +01:00
commit f86634a1d1
4 changed files with 38 additions and 43 deletions

View file

@ -197,14 +197,14 @@ git-ssh-%:
bash -c "`git remote get-url --push $* | sed 's|ssh://||; s|\([^/]\+\)/\(.*\)|LC_CDPATH=/\2 ssh -o SendEnv=LC_CDPATH \1|'`"
git-ssh: git-ssh-origin
git-pull-official:
make git-pull-devops
git-get-official:
make git-get-devops
git-pull-maintainer:
make git-pull-$(call proj_query,getval global jw-maintainer)
git-get-maintainer:
make git-get-$(call proj_query,getval global jw-maintainer)
git-pull-%:
PGIT_CLONE_PROJECTS=. $(PGIT_SH) clone --refspec $*:$(GIT_MAIN_BRANCH):$(GIT_MAIN_BRANCH)
git-get-%:
PGIT_SH_PROJECTS=. $(PGIT_SH) get --refspec $*:$(GIT_MAIN_BRANCH):$(GIT_MAIN_BRANCH)
pkg-manager-refresh:
$(PKG_MANAGER) refresh