git-merged

#!/bin/bash

branch=`git branch | grep '^\*' | cut -d ' ' -f 2`
merge_branch=${GITHUB_DEFAULT_BRANCH:-master}

git checkout $merge_branch && git pull && git branch -d $branch
git branch

git-push

#!/bin/bash

branch=`git branch | grep '^\*' | cut -d ' ' -f 2`
reponame=`git config --get remote.origin.url | sed -E 's/^.+:([^.]+).+$/\1/'`
merge_branch=${GITHUB_DEFAULT_BRANCH:-master}

git push origin $branch $@

echo PR: https://github.com/$reponame/compare/$merge_branch...$branch?expand=1