Git

Remove a file from a Git repository without deleting it from the local filesystem

git rm --cached mylogfile.log

For a directory:

git rm --cached -r mydirectory

http://stackoverflow.com/a/1143800/766330

가져와서 새로운 repo만들기

1. Create a new repo at github.
2. Clone the repo from the-origin to your local machine.

3. git remote rename origin upstream

4. git remote add origin url-of-mine

5. git push origin master

To pull in patches from upstream, simply run

git pull upstream master && git push origin master

http://stackoverflow.com/a/5181968/766330

remote주소 알아내기

If referential integrity has been broken:

git config --get remote.origin.url

If referential integrity is intact:

git remote show origin

If you want to use the value in the script, you would use the first command.

https://stackoverflow.com/a/4089452/766330

remote 주소 변경

git remote set-url origin git@github.com:USERNAME/OTHERREPOSITORY.git

확인

git remote -v

Update submodule

git submodule update --recursive

http://stackoverflow.com/a/10168693/766330

로컬 무시하고 pull

git reset --hard
git pull

로컬을 아예 지우지는 않는 방법

git stash
git pull
git stash pop

http://stackoverflow.com/a/4157261/766330