-
git으로 commit log 삭제/수정할 때 팁프로그래밍/기타 2018. 5. 22. 00:59
git으로 github repo의 commit log를 삭제하거나 수정한 뒤
git push --force origin
을 사용하면 바로 변경사항이 push된다.'프로그래밍 > 기타' 카테고리의 다른 글
Git repo 하나를 다른 repo 아래, 서브디렉토리로 merge하기 (1) 2018.08.07 파이썬 모스코드 해석기 숏코딩 (0) 2018.07.24 Mac에 Python3용 KoNLPy 설치하기 (2) 2018.07.22 Python 파일 naming에 주의해야 할 점 (0) 2018.06.07 안드로이드 디바이스에 Linux Debian 설치하는 삽질 (0) 2017.12.02