#!/bin/bash

EXT_NAME=$1
cd /app/extensions
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/$1
cd $1
git checkout -b REL1_23 origin/REL1_23