Why this error :
According to this it is that branch
Hi @rwobben
There’s nothing to do on the terminal, max (in my case) has pushed the commit to a branch. On the Gitea UI (By logging in as max user), we need to create a new PR for this commit with the provided title, and assign tom as reviewer.
Then, logging in as the tom user, we need to mark the PR as reviewed and merge the PR to master.
Optionally, after the PR is merged, you can checkout to master and pull in the latest updates from the remote.
oke, was not clear to me that I have to pull the changes
I will try that and report back
For me stil not working
here screenshots step by step
logged in and made the PR
add tom as reviewer
reviewed it and merge it at tom
delete old branch
pull the merged in
and it failed :
anyone a idea what I did wrong here ?
Don’t delete the branch after merge. I think the grader needs to check both branches to compare the merge commit
Do SSH to the storage server as max and to a git pull after you have merged.
thanks, finally solved and on to the next one
4 to go