Practice makes perfect Practice makes perfect

git

• git repository mirror creation

  Computer/linux 2020. 5. 2. 15:53

  git clone --bare SOURCE_URL/SOURCE.git cd SOURCE.git git fetch git remote add new-origin MIRROR_URL/MIRROR.git git remote set-url new-origin git@github.com:USERNAME/MIRROR.git (only for 2FA of github) git push new-origin --mirror cd .. rm -rf SOURCE.git

  Read More

• Undo git push

  Computer/linux 2017. 10. 22. 07:01

  Sometime, I would like to remove what I push into the git branch, in that case, the following two steps can give me a way to do so.. 1) check the hash if you want to revert.... 2) git push -f origin hash_id_if_you_want_to_rever:branch_name

  Read More

• [git] when the location of a submodule is changed

  Computer/linux 2016. 12. 30. 01:52

  modify .gitmodule to change the new url in .gitmodules [submodule "epics-modules/mrfioc2"] url = https://github.com/epics-modules/mrfioc2run git submodule sync

  Read More

• Move A git Repository to another place

  Computer/linux 2016. 7. 3. 04:09

  The original repository : https://github.com/EuropeanSpallationSource/snmp-nsclThe new repository : https://github.com/ESSICS/snmp-nscl The original repository should have only one master, the new repository should be created via "github". $git clone https://github.com/EuropeanSpallationSource/snmp-nscl $cd snmp-nscl/ $git fetch origin $ git remote add new-origin https://github.com/ESSICS/snmp-n..

  Read More

• Redo the wrong commit in Git

  Computer/linux 2016. 2. 9. 18:24

  $ git reset --soft HEAD~ $ git commit -c ORIG_HEAD

  Read More