Modified bash_profile for git fetch and pull-requests