-------------- Thanks for your Pull Request! :) This repo on GitHub is just a mirror of our real git repository (which lives on git.postgresql.org) though, and can't really handle PRs. :(
I would say "don't work with" rather than "can't handle".
If you'd like to see this change in PostgreSQL, please check out our developer guide, here: