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.

Instructions:


GIT TASKNOTES
GIT COMMANDS
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 user.name


git config --global user.name "Sam Smith"

git config --global user.email "sam@example.com"


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

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
Push

Send changes to the master branch of your remote repository:

git push origin master
Status

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
Branches

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>



Tags

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

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