You didn't link to the actual PR because it isn't merged. It was closed without merging
Why are you lying?

GitHub
Build software better, together
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.