Taylor Kline
2017-01-26 22:38:37 UTC
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.
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.