failure at checking dynamically the last revision in the CI

In the CI:

$ source tools/setup.sh
fatal: ambiguous argument 'origin/master..HEAD': unknown revision or path not in the working tree.
Use '--' to separate paths from revisions, like this:
'git <command> [<revision>...] -- [<file>...]'
No such remote branch

• At least, this should have caused a proper failure of the CI
• Ideally, we should also try to make this work in the CI