diff --git a/Instructions.txt b/Instructions.txt index 98f0d6884768c16abae0b305f3284b1a1de88371..50a66cf4a5b7eacfb403c3fafb3948d8a5ee670e 100644 --- a/Instructions.txt +++ b/Instructions.txt @@ -36,3 +36,25 @@ git push ---------- git pull origin Nicola + +----------- +In case: + +nicolaalnicola@LAPTOP-A0GOD546:/mnt/c/Users/nicol/comp-sci-project$ git push +To git.imp.fu-berlin.de:nguyed99/comp-sci-project.git + ! [rejected] na/bhtalgorithmus -> na/bhtalgorithmus (non-fast-forward) +error: failed to push some refs to 'git.imp.fu-berlin.de:nguyed99/comp-sci-project.git' +hint: Updates were rejected because the tip of your current branch is behind +hint: its remote counterpart. Integrate the remote changes (e.g. +hint: 'git pull ...') before pushing again. +hint: See the 'Note about fast-forwards' in 'git push --help' for details. + +Do the following to keep your local branch up to date before pushing: + +git fetch origin +git checkout <branchname> +git merge origin/<branchname> +--press Exceute than exit +git pull origion <branchname> + +--now you can push again