https://github.com/carbon-language/carbon-lang/pulls?q=is%3A...

an active project indeed!