Fix rebase check

Increase the depth of the shallow clone done by GitLab. If the number of commits is larger than the depth, the head of the upstream/master is not in the history otherwise. This fixes a problem of !399 (merged).

mentioned in merge request !399 (merged)

added 1 commit

• 6b575da0 - Fix rebase check

Compare with previous version

Dear @f.uhlig, @v.friese, @p.-a.loizeau,

you have been identified as code owner of at least one file which was changed with this merge request.

Please check the changes and approve them or request changes.

added CodeOwners label

merged