Clean up your local branches after merge and delete in GitHub