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…