Zulip Chat Archive

Stream: PR reviews

Topic: Sorry


view this post on Zulip 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

view this post on Zulip Johan Commelin (Jul 28 2020 at 07:51):

@Bhavik Mehta @Markus Himmel if you can help with reviewing, that would be very much appreciated!

view this post on Zulip Rob Lewis (Jul 28 2020 at 21:25):

After 25(!) commits today we're only down to 75 :(

view this post on Zulip Patrick Massot (Jul 28 2020 at 21:33):

Ok, I'll push one more before going to bed.

view this post on Zulip 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