Issues filed in GitHub are rarely monitored, and PRs are likely to be missed unless a message is sent to the mailing list regarding them.
Please feel free to open a PR to fix that then!
In this mailing list.
Hi,
As this persists, although I haven't been here for very long, I chose to announce my departure: http://www.philippecloutier.com/blogpost127-Leaving-the-PHP-Framework-Interoperability-Group
I am still using this opportunity to Cc Michael Cullum, who was
visibly involved in disabling the GitHub issue tracker, hoping a
list of steps taken to update the documentation can be obtained.
Sorry and best luck,
Philippe Cloutier http://www.philippecloutier.com