H, It is a concern to me that the list of PRs on our github page is beyond a single page (maybe configurable but now a t a very reasonable 25). I think we should adhere to a discipline of not having any PRs open after the weekend. This is putting a very strong statement outthere, I realize. A PR might be under heavy construction and very big (which should result in a discussion about splitting it!) I Discussed this with Wilder and the idea popped up to have a seven day limit on (undicussed) PRs. This is however more sensible from an automation point of view then from a development discipline point of view. A regular cycle of closing-or-discarding PRs makes more sense. The list of PRs remaining open is slowly but very steadily growing over time.
thoughts? -- Daan
