github에 스터디 자료를 올리던 중. 파일명 오타+파일 내용에 이상함을 발견했다.
수정할까? 싶다가 closed 된 issue, PR에 대해서 삭제하는 것을 해볼 기회라고 생각해서 해봐야겠다.
1. GitHub 지원
https://support.github.com/request
여기서 "내가 가지고 있거나 제어하는 리포지토리에서 데이터 제거하기" 클릭
2. PR 제거하기 클릭
클릭하면 바로 채팅창이 뜹니다.
3. 삭제하려는 PR이 있는 레포지토리의 주소를 작성해주세요.
- 깃허브에서 주소를 긁어왔는데 인식을 못하면, 그렇다면 / 주변에 있는 공백을 없애주세요.
4. 삭제하려는 PR의 번호 적어주면 끝!
다른 블로그들을 보면,, 2시간 정도 뒤에 삭제가 된다고하는데.. 저는 안되더라고요,, 다시 github 에 접속해보니
이런메세지가!!
아하.. 오랫동안 백수라서 연말 연초에 외국에서는 일을 안한다는 것을 까먹었습니다.. 이런이런...
5. PR 삭제 완료!
자고 일어나니 PR이 삭제되었습니다. 이렇게 메일도 와있네요 ~ ^^
배운 내용을 기록하는 공간입니다.