Here you'll find quick guides for doing almost everything. We're always adding articles, so come back here any time you want to learn more about KOR.


Tell Git who you areConfigure the author name and email address to be used with your commits.

Note that Git strips some characters (for example trailing periods) from

git config --global "Sam Smith"

git config --global ""

Create a new local repository
Create an empty git repository or reinitialize an existing one

git init

Check out a repository
Create a working copy of a local repository:

For a remote server, use:

git clone /path/to/repository

git clone username@host:/path/to/repository

Add files
Add one or more files to staging (index):

Will add all modified and untracked files in the entire repository:

git add <filename>

git add .


Commit changes to head (but not yet to the remote repository):

Commit any files you've added with git add, and also commit any files you've changed since then:

git commit -m "Commit message"

git commit -a


Send changes to the master branch of your remote repository:

git push origin master

List the files you've changed and those you still need to add or commit:

git status
Connect to a remote repository

If you haven't connected your local repository to a remote server, add the server to be able to push to it:

List all currently configured remote repositories:

git remote add origin <server>

git remote -v

Create a new branch and switch to it:

Switch from one branch to another:

List all the branches in your repo, and also tell you what branch you're currently in:

Delete the feature branch:

Push the branch to your remote repository, so others can use it:

Push all branches to your remote repository:

Delete a branch on your remote repository:

git checkout -b <branchname>

git checkout <branchname>

git branch

git branch -d <branchname>

git push origin <branchname>

git push --all origin

git push origin :<branchname>

Update from the remote repository
Fetch and merge changes on the remote server to your working directory:

To merge a different branch into your active branch:

View all the merge conflicts:

View the conflicts against the base file:

Preview changes, before merging:

After you have manually resolved any conflicts, you mark the changed file:

git pull

git merge <branchname>

git diff

git diff --base <filename>

git diff <sourcebranch> <targetbranch>

git add <filename>


You can use tagging to mark a significant changeset, such as a release:

CommitId is the leading characters of the changeset ID, up to 10, but must be unique. Get the ID using:

Push all tags to remote repository:

git tag 1.0.0 <commitID>

git log

git push --tags origin

Undo local changes

If you mess up, you can replace the changes in your working tree with the last content in head:

Changes already added to the index, as well as new files, will be kept.

Instead, to drop all your local changes and commits, fetch the latest history from the server and point your local master branch at it, do this:

git checkout -- <filename>

git fetch origin

git reset --hard origin/master


Search the working directory for foo():
git grep "foo()"

Still can't find what you're looking for?

© 2019 KOR Inc. All rights reserved. KOR is a registered trademark of FluxNetwork Inc. 

Terms, conditions, features, availability, pricing, fees, service and support options subject change without notice. 

Corporate Headquarters