Zulip Chat Archive

Stream: general

Topic: stats

Patrick Massot (Aug 08 2018 at 11:32):

Today we reached the one hundred "15 days active" user milestone, a couple of weeks after reaching two hundred total https://leanprover.zulipchat.com/stats

Johan Commelin (Jan 31 2019 at 08:14):

Just a quick post to say thanks to this community. This January has been fantastic for mathlib. Look at this: https://github.com/leanprover-community/mathlib/pulse/monthly

Johan Commelin (Jan 31 2019 at 08:15):

Before christmas I was complaining about a PR crisis, etc... but these statistics can't be denied. Thanks to everyone who contributed.

Patrick Massot (Jan 31 2019 at 08:15):

I think it's fair to say that Johannes has been especially fantastic at merging stuff

Mario Carneiro (Jan 31 2019 at 08:58):

yikes, only 3 commits from me, I'm falling behind

Sebastian Ullrich (Jan 31 2019 at 08:58):

He's a Pro, after all

Johannes Hölzl (Jan 31 2019 at 09:19):

I just updated my github profile and realized I can actually switch of the PRO badge...

Mario Carneiro (Jan 31 2019 at 09:24):

hey, you got a face

Johannes Hölzl (Jan 31 2019 at 09:25):

Yes, I decided to show more beard than Chris :-)

Mario Carneiro (Jan 31 2019 at 09:26):

aha, so there is a correlation between high commit count and beards

Simon Hudon (Jan 31 2019 at 19:21):

Sounds like a competition. Let's grow more beards!

Patrick Massot (Jan 31 2019 at 19:22):

yikes, only 3 commits from me, I'm falling behind

You should reassert your rank by pushing a huge theory. I propose differential calculus or linear algebra

Johan Commelin (Mar 01 2019 at 14:31):

Statistics for February 2019 (copied from https://github.com/leanprover-community/mathlib/pulse/monthly):
Excluding merges, 20 authors have pushed 122 commits to master and 312 commits to all branches. On master, 135 files have changed and there have been 6,934 additions and 2,684 deletions.

77 Merged Pull Requests
35 Proposed Pull Requests
1 Closed Issue
7 New Issues

Currently 46 Open Pull Requests

Johan Commelin (Mar 01 2019 at 14:32):

Congratulations to everyone (-;

Johan Commelin (Apr 06 2019 at 19:13):

In the past week 33 PRs were merged! Kudos and thanks to all maintainers. :tada: :thumbs_up:

Simon Hudon (Apr 06 2019 at 19:18):

thanks from myself and the other maintainers! I don't know if we got lucky but let's see what the next week brings

Kevin Buzzard (Apr 06 2019 at 20:32):

It might be something to do with ITP deadline now being in the past?

Kevin Buzzard (Apr 06 2019 at 20:33):

Oh or it might be something to do with mergify :-)

Simon Hudon (Apr 06 2019 at 20:48):

Maybe a bit of both :)

Patrick Massot (Apr 06 2019 at 20:48):

And a lot of hard work too

Kevin Buzzard (Apr 06 2019 at 20:50):

Yes, thanks to all involved.

Last updated: Dec 20 2023 at 11:08 UTC