Dear Joachim,

>  * You can filter by status by clicking on the "Labels" button.
>
> When I fitered by "dormant" I only saw three -- that was a lot fewer than I expected.

Again, because by default GitHub only shows open PRs. Eventually, we or
the authors close proposals.

That being said, some dormant PRs are still open and unlabelled. I nearly randomly hit:
https://github.com/ghc-proposals/ghc-proposals/pull/183
this morning. I'm guessing, there may be more.

--
Kind regards,
Artem Pelenitsyn
 


Cheers,
Joachim
--
Joachim Breitner
  mail@joachim-breitner.de
  http://www.joachim-breitner.de/

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee