All Github PR closed

[Pat Ferrel]

Maybe I missed the explanation but why are all the gitub PRs against the PIO 
account closed? This is not ideas, especially if some should be merged with the 
ASF git, because the PRs have user/branch info that can be used to hand-merge.