Closed Rechi closed 6 years ago
So this will also not report on .git
folders that get PRed to our repo-* branches. Is that by design?
Git doesn't allow to stage (git add) .git
folders and therefore also not to commit them.
repo-scripts$ mkdir -p test/.git/
repo-scripts$ touch test/.git/test.txt
repo-scripts$ git add -f test/.git/test.txt
error: Invalid path 'test/.git/test.txt'
error: unable to add test/.git/test.txt to index
fatal: Hinzufügen von Dateien fehlgeschlagen
Skip
.git
folder, which is inside the add-on path for single add-on repos (upstream repos), for for permission and whitelist checks.fixes #123