wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-23 22:13:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "updateSubmodule.sh: Use gerrit remote if it exists"

Browse source
This commit is contained in:
jenkins-bot 2023-11-14 16:19:56 +00:00 committed by Gerrit Code Review
parent 7bfa823396 4870a285f2
commit b8d46f3eae
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