I posted because I think my post would be useful to other people who are considering alternatives to GitHub but also like rich PR workflows like GitHub has, and

I posted because I think my post would be useful to other people who are considering alternatives to GitHub but also like rich PR workflows like GitHub has, and because I think it's good to encourage would-be GitHub alternatives to invest in that area. I've actually been following Sourcehut's mailing list and updates since forever because I find their philosophies interesting, but not right or practical for my own workflow.