Bash scripts for merging and pushing GitHub pull requests for phpBB

merge_32x_pr.sh

#!/bin/bash

set -e

PR=$1

git checkout 3.2.x && git fetch upstream && git fetch origin && git reset --hard upstream/3.2.x && hub merge $1 && git push origin 3.2.x
git checkout 3.3.x && git reset --hard upstream/3.3.x && git merge --no-ff --no-edit 3.2.x && git push origin 3.3.x
git checkout master && git reset --hard upstream/master && git merge --no-ff --no-edit 3.3.x && git push origin master

merge_33x_pr.sh

#!/bin/bash

set -e

PR=$1

git checkout 3.3.x && git fetch upstream && git fetch origin && git reset --hard upstream/3.3.x && hub merge $1 && git push origin 3.3.x
git checkout master && git reset --hard upstream/master && git merge --no-ff --no-edit 3.3.x && git push origin master

merge_master_pr.sh

#!/bin/bash

set -e

PR=$1

git checkout master && git fetch upstream && git fetch origin && git reset --hard upstream/master && hub merge $1 && git push origin master

push_32x_pr.sh

#!/bin/bash

set -e

git push upstream 3.2.x && sleep 5 && git push upstream 3.3.x && sleep 5 && git push upstream master

push_33x_pr.sh

#!/bin/bash

set -e

git push upstream 3.3.x && sleep 5 && git push upstream master

push_master_pr.sh

#!/bin/bash

set -e

git push upstream master