There is more repos like this and it is hard to detect them. Especially that sometimes they do have some actual merged PRs in GitHub for some special circumstan

There is more repos like this and it is hard to detect them. Especially that sometimes they do have some actual merged PRs in GitHub for some special circumstances (for instance bazelbuild).