clean up the instructions
the pull request got merged and the branch is no more