GitLab

If @{u} is not defined, git rev-list will give an error; redirect
to stderr the error and deal with this case in what follows.