Github Repository에 잘못 날린 PR 완전히 삭제하기
내 레포지토리에 잘못 날린 PR을 삭제하고 싶었는데 어디에다 꽁꽁 숨겨놨는지 delete 버튼을 아무리 찾아도 없었다..
그러다 발견한 stackoverflow 형님들의 글..
결국 PR을 제거해달라 깃허브에 요청을 해야한다고?
뭘 이렇게 복잡하고 귀찮고 어렵게 해놨디야..🙄
오늘은 그 과정에 대한 포스팅이다.
새로운 프로젝트를 시작하면서 commit&push를 잘못한 날이었다.
PR은 날려야하고, 잘못 커밋된 PR은 바로 closing 해버렸지만...
그 기록이 Pull Request 섹션 안에 벌-갛게 Closed라고 남아있었다......흑흑 꼴보기실헝..
이를 삭제하기 위해 레포지토리며 깃허브 사이트를 다 찾아봤지만 개같이 실패..
그러다 빛과 소금처럼 찾아낸 나와 완전 똑같은 상황의 스택오버플로우 형님의 게시글!!!
형님 글에 대한 답변이 아래와 같았다.
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
오... 저 링크로 지워줍쇼 하고 요청해야되는거군..
Sign in for Software Support and Product Help - GitHub 지원
support.github.com
먼저 링크를 통해 깃허브에 삭제 요청을 해보자!
우리는 closed 된 PR을 삭제해야하므로 표시된 메뉴를 클릭한다.
내 깃허브 페이지가 자동 번역 되어있는데, 이미지 설명에 영어 표기도 해놓겠다.
번역이 이상하게 되어있지만.. 로고를 보니 PR 제거가 맞는거 같다.
역시 표시된 메뉴를 또 클릭한다.
버튼을 클릭하면 PR 삭제 담당 챗봇이 나타난다.
나는 PR을 여러개 삭제하고 싶었기 때문에 multiple 버튼을 눌렀고, PR hash number를 차례로 입력했다.
single은 아마 Yes 버튼만 누르면 될거다.
물어보는거에 잘 대답하고 하라는대로 순서대로 하면 문의 Ticket이 발급이 된다!
발급된 티켓 안으로 들어가서 확인하고, open 상태로 되어있으면 내가 해야 할 일은 끝!
이제 좀 기다리면 Github에서 확인 후 처리해준다.
🌟 Ta-da!!
2시간 뒤에 다시 들어가보니 티켓의 상태가 업데이트 및 close 됐다. (별 문제 없이 삭제 됐다는 얘기!!)
해당 PR url로 접속해보니 404페이지 떴구연~ (=정상적으로 삭제됨!)
이 과정 진행하면서 좀 귀찮고, 까다롭긴 했지만 그만큼 Github가 얼마나 투명하게 운영하려고 하는지 엿보여서 좋았다.
주의해야할 점은 PR hash number를 착각해서 엉뚱한 PR을 강제 삭제해버리는 일은 없어야한다!!!
<Ref>
https://stackoverflow.com/questions/18318097/delete-a-closed-pull-request-from-github