Github pull request Github standard Fork & Pull Request Workflow What to do after the pull request is merged Anjana Sofia Vakil's blog