On Tuesday, June 13, 2017 2:50 AM, Mike Jumper <[email protected]> wrote:
> I'd be glad to follow up on the SSH keepalive PRs - they're invitingly > small, though I probably won't be able to find time for that until > later this week. Cool. > For the other PRs which are still open but awaiting contributor > response, we should ping the contributor and try to resuscitate the > review process. I've pinged on all of the pending ones. > There are some PRs which are still open purely because there is no way > to close them, though. Since only the asfgit bot has actual write > access to the mirrors, PRs only get closed when they're merged or when > the original contributor closes them. It'd be nice if there were a way > around that, but I'm not sure there is one. Ah, I see. Do you know if INFRA has any way to close these manually? I think there was only one that fell into this category (keyboard map for RDP), so not a huge deal, just be nice to have it cleaned up. -Nick
