Zulip Chat Archive

Stream: PR reviews

Topic: Sorry

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: Dec 20 2023 at 11:08 UTC