https://github.com/carbon-language/carbon-lang/pulls?q=is%3Apr+is%3Aopen+sort%3Aupdated-desc https://github.com/carbon-language/carbon-lang/pulls?q=is%3A... an

https://github.com/carbon-language/carbon-lang/pulls?q=is%3Apr+is%3Aopen+sort%3Aupdated-desc https://github.com/carbon-language/carbon-lang/pulls?q=is%3A... an active project indeed!