Once upon a time we had this as an internal feature that @Greg built (i think), but it has since been deprioritized...maybe we should bring it back đź‘€
a
Adam Wootton
10/02/2023, 7:34 PM
could be really neat, I find the github PR commenting interface super limited and it doesnt really let you make “polite” reviews where its clear which comments are just suggestions / nitpicks vs mandatory fixes.
I could imagine this syncing back to github by just posting the comments with some special prefix or something
z
Ziyao Wei
10/02/2023, 7:36 PM
Actually @David Bradford built this during a hackathon I think?
p
Pranathi Peri
10/02/2023, 8:58 PM
Ahh my mistake, sorry Dave!
v
Venky Iyer
10/03/2023, 7:11 AM
It's worth considering this kind of feature carefully and interviewing many engineers - once you put something in the UI, it becomes a kind of social expectation to use it.