remove --prune from git push

This commit is contained in:
2024-07-23 12:39:35 -07:00
parent ef35d3d72b
commit 48f006cf13

View File

@@ -4,7 +4,10 @@ REPO_HOME="./sync"
declare -A REPOS
# syntax is [github_repo]="gitlab_repo"
REPOS=([sheumann/AFPBridge]="salfter/AFPBridge"
[sheumann/smbfst]="salfter/smbfst")
[sheumann/smbfst]="salfter/smbfst"
[bl0x/learn-fpga-amaranth]="salfter/learn-fpga-amaranth"
[BrunoLevy/learn-fpga]="salfter/learn-fpga"
[tinyfpga/TinyFPGA-BX]="salfter/TinyFPGA-BX")
cd $REPO_HOME
for REPO_GITHUB in "${!REPOS[@]}"
do
@@ -13,5 +16,5 @@ do
if [ ! -d $REPO_LOCAL ]; then
git clone --bare --mirror https://github.com/$REPO_GITHUB.git $REPO_LOCAL
fi
(cd $REPO_LOCAL; git fetch --prune; git push --prune ssh://git@gitlab.alfter.us:222/$REPO_LOCAL.git +refs/heads/*:refs/heads/* +refs/tags/*:refs/tags/*)
(cd $REPO_LOCAL; git fetch --prune; git push ssh://git@gitlab.alfter.us:222/$REPO_LOCAL.git +refs/heads/*:refs/heads/* +refs/tags/*:refs/tags/*)
done