Usage `./murgi.sh mediawiki/extensions/Popups dptypes.pmtpa.wmflabs 113951 2`

murgi.sh

#!/bin/bash                                                                                                           

REPO=$1
HOST=$2
CHANGE=$3
PS=$4
DIR=${CHANGE: -2}

ssh -t $HOST bash -c "'                                                                                               
cd /vagrant/$REPO                                                                                                     
sudo git fetch origin                                                                                                 
sudo git checkout origin/master                                                                                       
sudo git fetch https://gerrit.wikimedia.org/r/$1 refs/changes/$DIR/$CHANGE/$PS                                        
sudo git checkout FETCH_HEAD                                                                                          
'"

fortune -s | cowsay
exit