Romain requested to merge nomadic-labs/tezos:romain-manifest-git into master Jul 25, 2022

Context

There is a check in the manifest that .git is a directory. But .git can be a file in some cases.

Manually testing the MR

make -C manifest

Checklist

Select suitable reviewers using the Reviewers field below.
Select as Assignee the next person who should take action on that MR