2017-01-26 22:38:37 UTC
attention, it should be bumped? Or just let them sit and be merged when
It's only been 5 days in my case but I also see other PRs have been
getting merged, so not sure if there's a point where they get buried and
never seen again.