Skip to content
English
More support Sign in
Contact us
  • There are no suggestions because the search field is empty.

Can I delete a Pull Request?

No, Pull Requests can't be deleted, but they can be closed

Copia and other Git providers don't allow for the deletion of Pull Requests, but you can always close a PR by visiting the PR and selecting the "Close" button if you don't want to continue using a PR. Closing a pull request signals that the proposed changes should not be merged, but the discussion and code changes are still preserved for future reference.

There are a number of reasons why deleting a PR is not ideal:

  1. History and Transparency: Pull requests often involve a lot of discussion and decision-making. Deleting a pull request would erase this history, which could be important for future reference or for new team members to understand why certain decisions were made.

  2. Accountability: Pull requests are often used to review and discuss changes to code before they're merged. This process ensures that all code changes are reviewed and approved by other team members, fostering accountability.

  3. Tracking Changes: Pull requests help track changes over time. They give a clear and detailed history of what changes were proposed, who proposed them, and what discussions or decisions surrounded those changes.

  4. Avoiding Confusion: Deleting pull requests could lead to confusion. For example, if a pull request is referenced elsewhere (like in an issue or another pull request), and it is deleted, the reference would become broken, and it might be difficult to understand the context.

You can read more about Pull Requests in our Documentation.