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

Update submodule

git submodule update --recursive

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