Changes for page Git

Last modified by Richard Kreissig on 2025/01/30 12:03

From version < 33.1 >

edited by msp
on 2012/10/16 11:37

To version < 34.1 >

edited by msp
on 2012/10/16 13:25

Change comment: There is no comment for this version

Raw
Rendered

Summary

Page properties (1 modified, 0 added, 0 removed)
Objects (1 modified, 0 added, 0 removed)
- Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

@@ -336,6 +336,225 @@
 . Go to your //Dashboard// → //Manage SSH keys// → //Add SSH key//
 . Copy & paste the content of your public SSH key.\\
 *. If you don't have an SSH key: use the shell command {{code language="none"}}ssh-keygen{{/code}}, confirm the default destination file {{code language="none"}}~/.ssh/id_rsa{{/code}}, and choose whether to give a passphrase. If you have a passphrase, you need to enter it whenever you use your SSH key for the first time in a session. You can omit the passphrase, but that makes the key less secure. As result, the tool generates a private key {{code language="none"}}~/.ssh/id_rsa{{/code}}, which has to be kept secret, and a public key {{code language="none"}}~/.ssh/id_rsa.pub{{/code}}.
--1. Go to //Projects// → //Create a new project// and call it "<login>-private", replacing <login> with your own login name.
++1. Go to //Projects// → //Create a new project// and call it "personal-<login>", replacing <login> with your own login name.
 . On the next page, create a repository named "turing" (or select //Add repository// on your project page).
 . Once you are on the repository page, copy the URL shown in //Clone & push urls//.
++1. (((
++Transfer your {{code language="none"}}master{{/code}} branch to the new server-side repository. Replace the URL in the following command by the one copied from Gitorious:
++
++{{noformat}}
++$ git remote add gitorious git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git
++$ git push gitorious master
++Counting objects: 15, done.
++Delta compression using up to 16 threads.
++Compressing objects: 100% (13/13), done.
++Writing objects: 100% (15/15), 1.54 KiB, done.
++Total 15 (delta 3), reused 0 (delta 0)
++remote: => Syncing Gitorious... [OK]
++To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git
++ * [new branch]      master -> master
++{{/noformat}}
++
++The first command adds a //remote// named "gitorious" to your local repository, which is just a bookmark for the long URL. The second command transfers the {{code language="none"}}master{{/code}} branch to the server, which is called //pushing//. After that is done, reload the Gitorious page in your browser, and you see all changes that are transferred to the server-side repository.
++)))
++1. (((
++Create a local clone of your remote repository (replace the URL accordingly):
++
++{{noformat}}
++$ cd ..
++$ git clone git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git turing2
++Initialized empty Git repository in /home/msp/tmp/turing2/.git/
++remote: Counting objects: 15, done.
++remote: Compressing objects: 100% (13/13), done.
++remote: Total 15 (delta 3), reused 0 (delta 0)
++Receiving objects: 100% (15/15), done.
++Resolving deltas: 100% (3/3), done.
++$ cd turing2
++{{/noformat}}
++
++The {{code language="none"}}clone{{/code}} command automatically creates a remote named {{code language="none"}}origin{{/code}} in the new local repository, which is set to the given URL.
++)))
++1. Edit the file {{code language="none"}}examples.txt{{/code}} in the new clone ({{code language="none"}}turing2{{/code}}): replace {{code language="none"}}"a"{{/code}} in line 6 by {{code language="none"}}"c"{{/code}} and correct the tape representations in lines 9, 14, and 19 accordingly. Commit the change.
++1. (((
++Push the new commit to the server:
++
++{{noformat}}
++$ git push
++Counting objects: 5, done.
++Delta compression using up to 16 threads.
++Compressing objects: 100% (3/3), done.
++Writing objects: 100% (3/3), 362 bytes, done.
++Total 3 (delta 1), reused 0 (delta 0)
++remote: => Syncing Gitorious... [OK]
++To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git
++   8af2d50..1d1577f  master -> master
++{{/noformat}}
++
++In this case the push command can be used without arguments, which means that it pushes all branches as configured in {{code language="none"}}.git/config{{/code}}:
++
++{{noformat}}
++$ more .git/config
++[core]
++        repositoryformatversion = 0
++        filemode = true
++        bare = false
++        logallrefupdates = true
++[remote "origin"]
++        fetch = +refs/heads/*:refs/remotes/origin/*
++        url = git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git
++[branch "master"]
++        remote = origin
++        merge = refs/heads/master
++{{/noformat}}
++
++Here the branch {{code language="none"}}master{{/code}} is linked with the remote {{code language="none"}}origin{{/code}}, hence {{code language="none"}}git push{{/code}} does the same as {{code language="none"}}git push origin master{{/code}}.
++)))
++1. (((
++Go back to the original local repository and check out the {{code language="none"}}master{{/code}} branch:
++
++{{noformat}}
++$ cd ../turing
++$ git checkout master
++Switched to branch 'master'
++{{/noformat}}
++)))
++1. (((
++Merge the {{code language="none"}}sketches{{/code}} branch into {{code language="none"}}master{{/code}}:
++
++{{noformat}}
++$ git merge sketches
++Updating 8af2d50..21d5ddb
++Fast-forward
++ examples.txt |    5 +++++
++ notes.txt    |    1 +
++ 2 files changed, 6 insertions(+), 0 deletions(-)
++{{/noformat}}
++
++Now your local {{code language="none"}}master{{/code}} branch and the one on the server-side repository have diverged
++)))
++1. (((
++Fetch the server-side changes:
++
++{{noformat}}
++$ git fetch gitorious
++remote: Counting objects: 5, done.
++remote: Compressing objects: 100% (3/3), done.
++remote: Total 3 (delta 1), reused 0 (delta 0)
++Unpacking objects: 100% (3/3), done.
++From git.rtsys.informatik.uni-kiel.de:personal-msp/turing
++   8af2d50..1d1577f  master     -> gitorious/master
++{{/noformat}}
++
++Now the change to {{code language="none"}}examples.txt{{/code}} that was previously committed in the {{code language="none"}}turing2{{/code}} repository is stored in a //remote tracking branch// named {{code language="none"}}gitorious/master{{/code}}:
++
++{{noformat}}
++$ git branch -a
++* master
++  sketches
++  remotes/gitorious/master
++{{/noformat}}
++
++You can analyze the remote tracking branch using the {{code language="none"}}log{{/code}} and {{code language="none"}}show{{/code}} commands. However, you should never directly modify a remote tracking branch.
++)))
++1. (((
++You can merge the remote changes into your local {{code language="none"}}master{{/code}} branch with the following command:
++
++{{noformat}}
++$ git merge gitorious/master
++Auto-merging examples.txt
++Merge made by recursive.
++ examples.txt |    8 ++++----
++ 1 files changed, 4 insertions(+), 4 deletions(-)
++{{/noformat}}
++
++Since this combination of {{code language="none"}}fetch{{/code}} and {{code language="none"}}merge{{/code}} is used very often, Git offers a shortcut for it, namely the {{code language="none"}}pull{{/code}} command. In this case the according command would have been {{code language="none"}}git pull gitorious master{{/code}}.
++)))
++1. (((
++Push the merged branch to the server, and then push the {{code language="none"}}sketches{{/code}} branch, which is not on the server yet:
++
++{{noformat}}
++$ git push gitorious master
++Counting objects: 23, done.
++Delta compression using up to 16 threads.
++Compressing objects: 100% (14/14), done.
++Writing objects: 100% (14/14), 1.65 KiB, done.
++Total 14 (delta 4), reused 0 (delta 0)
++remote: => Syncing Gitorious... [OK]
++To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git
++   1d1577f..957f686  master -> master
++$ git push gitorious sketches
++Total 0 (delta 0), reused 0 (delta 0)
++remote: => Syncing Gitorious... [OK]
++To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git
++ * [new branch]      sketches -> sketches
++{{/noformat}}
++)))
++1. (((
++As next step change your working directory to the second local repository {{code language="none"}}turing2{{/code}}, add the following line to the end of {{code language="none"}}notes.txt{{/code}} in the {{code language="none"}}turing2{{/code}} directory, and commit the change:
++
++{{noformat nopanel="true"}}
++TODO: formal definition
++{{/noformat}}
++)))
++1. (((
++Trying to push this commit to the server results in the following error message:
++
++{{noformat}}
++$ git push
++To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git
++ ! [rejected]        master -> master (non-fast-forward)
++error: failed to push some refs to 'git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git'
++To prevent you from losing history, non-fast-forward updates were rejected
++Merge the remote changes before pushing again.  See the 'Note about
++fast-forwards' section of 'git push --help' for details.
++{{/noformat}}
++
++This is because you have modified the branch while working in the original {{code language="none"}}turing{{/code}} repository, and these changes have to be merged with the new commit you have just made for {{code language="none"}}notes.txt{{/code}}.
++)))
++1. (((
++The solution is to apply the {{code language="none"}}pull{{/code}} command followed by the {{code language="none"}}push{{/code}} command:
++
++{{noformat}}
++$ git pull
++remote: Counting objects: 23, done.
++remote: Compressing objects: 100% (14/14), done.
++remote: Total 14 (delta 4), reused 0 (delta 0)
++Unpacking objects: 100% (14/14), done.
++From git.rtsys.informatik.uni-kiel.de:personal-msp/turing
++   1d1577f..957f686  master     -> origin/master
++ * [new branch]      sketches   -> origin/sketches
++Auto-merging notes.txt
++Merge made by recursive.
++ examples.txt |    5 +++++
++ notes.txt    |    1 +
++ 2 files changed, 6 insertions(+), 0 deletions(-)
++$ git push
++Counting objects: 10, done.
++Delta compression using up to 16 threads.
++Compressing objects: 100% (6/6), done.
++Writing objects: 100% (6/6), 673 bytes, done.
++Total 6 (delta 2), reused 0 (delta 0)
++remote: => Syncing Gitorious... [OK]
++To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git
++   957f686..b58ded7  master -> master
++{{/noformat}}
++
++While {{code language="none"}}pull{{/code}} performs a {{code language="none"}}fetch{{/code}} and a {{code language="none"}}merge{{/code}}, {{code language="none"}}push{{/code}} transfers the new merged branch to the server. Note that during the merge operation conflicts can occur. In that case you have to resolve them and commit the changes before you can push.
++)))
++1. (((
++In order to check out the {{code language="none"}}sketches{{/code}} branch, which was previously pushed to the server, simply type the following command:
++
++{{noformat}}
++$ git checkout sketches
++Branch sketches set up to track remote branch sketches from origin.
++Switched to a new branch 'sketches'
++{{/noformat}}
++
++This branch can be pushed and pulled with the server in the same way as you did for the {{code language="none"}}master{{/code}} branch.
++)))
++
++The {{code language="none"}}master{{/code}} branch should look like this:
++
++[[image:attach:turing-graph-02.png]]
++
++

Confluence.Code.ConfluencePageClass[0]

Id

@@ -1,1 +1,1 @@
--2982148
++2982151

URL

@@ -1,1 +1,1 @@
--https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/WS12EclPract/pages/2982148/Git
++https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/WS12EclPract/pages/2982151/Git

Changes for page Git

Summary

Details

Navigation

Quick Links