How to unmerge a PR/commit on Github ?
Unmerging a pull request or commit on GitHub can be a delicate operation, especially if the changes have already been pushed to a shared branch. However, there are several approaches you can take depending on your specific situation and preferences. Let's explore the options available and walk through the process step-by-step. ### Key Points to Consider 1. There are multiple ways to unmerge a PR/commit, ranging from simple to complex. 2. The choice of method depends on whether you've already pushed the changes and who has access to the repository. 3. Some methods preserve the commit history, while others rewrite history. 4. It's crucial to communicate with your team before taking any action. ### Method 1: Using GitHub's Built-in Revert Feature GitHub provides a built-in feature to revert a pull request after it has been merged. 1. Go to your repository on GitHub. 2. Click on "Pull requests" tab. 3. Select the pull request you want to revert. 4. Click on "