Re: "Merge-buddy" request

2023-10-27 Thread Alexandre Rodrigues Baldé
devs Subject: Re: "Merge-buddy" request Thanks Zubin. And to re-iterate on what Simon said, I will cheerfully have a discussion with anyone who needs context for these. Alan On Fri, 27 Oct 2023, 12:24 Zubin Duggal, mailto:zu...@well-typed.com>> wrote: Feel free to assign me for r

Re: "Merge-buddy" request

2023-10-27 Thread Alan & Kim Zimmerman
Thanks Zubin. And to re-iterate on what Simon said, I will cheerfully have a discussion with anyone who needs context for these. Alan On Fri, 27 Oct 2023, 12:24 Zubin Duggal, wrote: > Feel free to assign me for reviews. > > On 23/10/26 17:10, Alan & Kim Zimmerman wrote: > >Hi all > > > >I

Re: "Merge-buddy" request

2023-10-27 Thread Zubin Duggal
Feel free to assign me for reviews. On 23/10/26 17:10, Alan & Kim Zimmerman wrote: Hi all I have been landing a series of MRs to simplify the exact print annotations. They are split into pieces so each change is not too big. I still have quite a number of them to land, but am finding the

Re: "Merge-buddy" request

2023-10-27 Thread Simon Peyton Jones
I hope someone responds to Alan's call. Simplifying exact-print annotations is a noble goal, and Alan has been working hard on it. I hope someone feels able to support him. I don't think you need to be an exact-print expert. I'm sure Alan would be happy to teach you. And that learning journey

"Merge-buddy" request

2023-10-26 Thread Alan & Kim Zimmerman
Hi all I have been landing a series of MRs to simplify the exact print annotations. They are split into pieces so each change is not too big. I still have quite a number of them to land, but am finding the process slow, as I - make the MR - wait for CI to go green - wait for a review, or ping