#!/bin/bash EXT_NAME=$1 EXT_VERSION=$2 cd /app/extensions git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/$1 cd $1 git checkout -b $2 origin/$2