Checkout a pull request to the local machine
Note to self: In order to check out a pull request from either Codeberg or GitHub to the local machine, first get the number (ID) of the PR (look it up in the Web UI) and then create a branch and check it out (BRANCHNAME):
$ git fetch origin pull/$ID/head:$BRANCHNAME
$ git checkout $BRANCHNAME
Update 26.07.2026
Another solution which allows to fetch updated PRs:
Add the following to the .git/config file in the checked out repository (the last line is new):