modifying 'github' make target to push 'master' branch