![]() (To make things slightly more confusing-because, why not?-Git does offer a command called request-pull. ![]() First popularized by GitHub, nowadays they’re common in other platforms such as GitLab, BitBucket, and Azure DevOps. Rather, they are a feature of source code hosting providers. Pull requests are not a feature of the native Git software. What Is a Git Pull Request?Ī pull request is a process by which a contributor to a Git repository offers some code and asks for the project’s maintainer to accept it and merge it. Specifically, we’ll open by defining a pull request. The Pull Request Process: What It Is and How It WorksĪs promised, let’s start by tackling some fundamentals. With those basics out of the way, we’ll finally tackle the “how.” You’ll learn how to revert a pull request in GitHub, in GitLab, and also in “vanilla” Git, using the git revert command. Before we go there, we’ll talk about the pull request process itself, explain how it works, and give examples of situations in which you’d need to revert a PR. That’s what this post is about: explaining how to revert a merged pull request. Accepting and merging a pull request should signal the end of the specific contribution, but if things don’t work as planned for some reason, you might need to revert a pull request in Git. ![]() The pull request is the process by which a potential contributor asks the maintainer of a project to accept their branch and merge it into the project’s mainline. Many of the organizations that use Git-and probably the vast majority of open-source projects as well-employ a workflow centered around the pull request.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |