Stream: PR reviews
Scott Morrison (Jul 28 2020 at 06:23):
Sorry, I just dumped a whole lot of PRs on the queue, all the preparations for Johan's and my recent work on sheaves. :-) We just hit 80. Screen-Shot-2020-07-28-at-4.24.06-pm.png
Johan Commelin (Jul 28 2020 at 07:51):
@Bhavik Mehta @Markus Himmel if you can help with reviewing, that would be very much appreciated!
Rob Lewis (Jul 28 2020 at 21:25):
After 25(!) commits today we're only down to 75 :(
Patrick Massot (Jul 28 2020 at 21:33):
Ok, I'll push one more before going to bed.
Patrick Massot (Jul 28 2020 at 21:41):
I did it, but I merged two, so hopefully I'll sleep well.
Last updated: May 06 2021 at 11:23 UTC