After merging master, we still need to push to origin right? Otherwise can't make a pull request.