post-receive git hook, shared repository

post-receive

#!/bin/bash

# 2 points assumed
#  * web server and repository are/can-be placed on different boxes
#  * one can login to repository box without manual password entering - rsa keys are keychained by ssh-agent

PRODUCTIONBRANCH='master'
DEVBRANCH='dev'
PRODUCTIONPATH='/var/www/path/to/prod/server'
DEVPATH='/var/www/path/to/dev/server'
WEBSERVERBOX='webserverthere.example.com'
SSHPORT=1022
 
while read oldsha newsha REFNAME; do
  echo post-receive script, refname: $REFNAME

  if [[ $REFNAME == *$PRODUCTIONBRANCH* ]]; then
    ssh -p $SSHPORT $WEBSERVERBOX "cd $PRODUCTIONPATH; git pull origin $PRODUCTIONBRANCH" 
  fi

  if [[ $REFNAME == *$DEVBRANCH* ]]; then
    ssh -p $SSHPORT $WEBSERVERBOX "cd $DEVPATH; git pull origin $DEVBRANCH" 
  fi

done