Signal-Android PR Bumping Guidelines
(too old to reply)
Taylor Kline
2017-01-26 22:38:37 UTC
Raw Message
Is there any timeline where, if a pull request hasn't gotten much
attention, it should be bumped? Or just let them sit and be merged when
they're merged?

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.