Delete a closed pull request from GitHub

 Delete a closed pull request from GitHub - Stack Overflow

There is no way you can delete a pull request yourself -- you and the repo owner (and all users with push access to it) can close it, but it will remain in the log. This is part of the philosophy of not denying/hiding what happened during development.

However, if there are critical reasons for deleting it (this is mainly violation of Github Terms of Service), Github support staff will delete it for you.

Whether or not they are willing to delete your PR for you is something you can easily ask them, just drop them an email at support@github.com

UPDATE: Currently Github requires support requests to be created here: https://support.github.com/contact

-
Nhãn:

Không có nhận xét nào:

Đăng nhận xét

Đăng ký: Đăng Nhận xét (Atom)

Cold Turkey Blocker

 https://superuser.com/questions/1366153/how-to-get-rid-of-cold-turkey-website-blocker-get-around-the-block Very old question, but still wan...

  • poetry shell
      Basic usage | Documentation | Poetry - Python dependency management and packaging made easy (python-poetry.org) Activating the virtual env...
  • Modify File Permissions with chmod
      Modify File Permissions with chmod | Linode Modify File Permissions with chmod The chmod command allows users to change read and write per...
  • Python: poetry create poetry.lock from pyproject.toml
    Basic usage | Documentation | Poetry - Python dependency management and packaging made easy (python-poetry.org)   Python: poetry create poet...