wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-23 10:19:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

updateSubmodule.sh: Use gerrit remote if it exists

Browse source 
Change-Id: I82f23ce8721c16d57f5c918d4ceda634c73bc959
This commit is contained in:
Ed Sanders 2023-11-10 18:13:04 +00:00
parent 2a343cd598
commit 4870a285f2
1 changed files with 11 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
bin/updateSubmodule.sh
View file

@ -21,12 +21,18 @@ then
fi
cd ../..
git fetch origin
# Use 'gerrit' if it exists, otherwise 'origin'
MW_REMOTE=$(git remote | grep -w gerrit || echo origin)
git fetch $MW_REMOTE
# Create sync-repos branch if needed and reset it to master
git checkout -B sync-repos origin/master
git checkout -B sync-repos $MW_REMOTE/master
git submodule update
cd lib/ve
git fetch origin
CORE_REMOTE=$(git remote | grep -w gerrit || echo origin)
git fetch $CORE_REMOTE
# Figure out what to set the submodule to
if [ -n "${1:-}" ]
@ -34,8 +40,8 @@ then
TARGET="$1"
TARGETDESC="$1"
else
TARGET=origin/master
TARGETDESC="master ($(git rev-parse --short origin/master))"
TARGET=$CORE_REMOTE/master
TARGETDESC="master ($(git rev-parse --short $CORE_REMOTE/master))"
fi
# Generate commit summary