That's correct. The last pull request was 14 days ago and it was closed as the Github repository is still "just a mirror"

https://github.com/WordPress/WordPress/pull/141