Is this repo a read-only mirror of some internal repo? I see that all pull requests was closed without merging with comment "Fixed internally.". Does it make sense to make pull requests?