Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/bash
- while read oldrev newrev ref
- do
- branch=`echo $ref | cut -d/ -f3`
- if [ "master" == "$branch" ]; then
- git --work-tree=/home/zetatest/public_html/esempio-master/ checkout -f $branch
- fi
- if [ "dev" == "$branch" ]; then
- git --work-tree=/home/zetatest/public_html/esempio-dev/ checkout -f $branch
- fi
- done
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement