Thank you for using cauldron.io; it will be shut down on March 20th, after which it will no longer be available. We invite you to explore Bitergia Analytics and also to read about this decision in our blog post, Saying Goodbye to Cauldron.io: A Look Back and a Look Forward. For feedback or discussion about this change, please reach out to Georg Link at georglink@bitergia.com.

lean

Report information

Repositories: 0

Activity

Commits Issues Reviews Questions
Total
Total (Last year)
Year-over-year % % % %

Community

Commit authors Issue submitters Review submitters Question authors
Total
Total (Last year)
Year-over-year % % % %

Performance

Issues Reviews
Median time to close days days
Median time to close (Last year) days days
Year-over-year % %

# Commits

# Lines/commit

# Lines/commit/file

# Issues created

# Issues closed

# Issues open

# Pull/Merge requests created

# Pull/Merge requests closed

# Pull/Merge requests open

# Commits

Last month

Last year

%

Year-over-year

# Lines/commit

Last month

Last year

%

Year-over-year

# Lines/commit/file

Last month

Last year

%

Year-over-year

# Issues created

Last month

Last year

%

Year-over-year

# Issues closed

Last month

Last year

%

Year-over-year

# Pull/Merge requests created

Last month

Last year

%

Year-over-year

# Pull/Merge requests closed

Last month

Last year

%

Year-over-year

# Questions

# Answers

# Active people

Git authors

Issue authors

PRs/MRs submitters

# Onboardings

Git authors

Issue authors

PRs/MRs submitters

# Active people

Git authors

# Onboardings

Git authors

# Active people

Issue authors

# Onboardings

Issue authors

# Active people

PRs/MRs submitters

# Onboardings

PRs/MRs submitters

# People asking

# People answering

Issues

Time open (average)

days

Time open (median)

days

Open issues

Reviews

Time open (average)

days

Time open (median)

days

Open reviews

Time to close (median)

days

Last month

days

Last year

%

Year-over-year

Time open (average)

days

Time open (median)

days

Open issues

Time to close (median)

days

Last month

days

Last year

%

Year-over-year

Time open (average)

days

Time open (median)

days

Open reviews

The following table shows all the commits, issues, reviews and its corresponding number of authors/submitters for all the history of each repository.

Repository Commits Issues Reviews Commits
authors
Issues
submitters
Reviews
submitters
GitHub leanprover-community/mathlib4_docs 23 1 5 6 1 4
GitHub leanprover-community/mathlib4_with_LeanInfer 1 0 0 1 0 0
GitHub leanprover-community/mathlib_docs 1 1 0 1 1 0
GitHub leanprover-community/mathlib_docs_demo 3 0 0 2 0 0
GitHub leanprover-community/mathlib_stats 1789 4 7 7 2 4
GitHub leanprover-community/mathport 2374 85 172 23 14 19
GitHub leanprover-community/mathzoo 41 0 13 3 0 2
GitHub leanprover-community/merge-queue-test 7224 0 7 275 0 2
GitHub leanprover-community/NNG4 581 50 37 27 28 28
GitHub leanprover-community/plausible 34 1 13 4 1 6
GitHub leanprover-community/ProofWidgets4 340 24 81 21 6 18
GitHub leanprover-community/quote4 236 22 48 12 11 10
GitHub leanprover-community/repl 197 21 50 14 16 12
GitHub leanprover-community/sphere-eversion 3025 52 44 22 2 14
GitHub leanprover-community/static-curl 3 0 0 1 0 0
GitHub leanprover-community/test-mathport 10 0 0 2 0 0
GitHub leanprover-community/tutorials 194 11 41 21 4 24
GitHub leanprover-community/tutorials4 212 0 1 21 0 1
GitHub leanprover-community/witt-vectors 10 0 0 1 0 0
GitHub leanprover-community/yasnippet-lean 14 2 4 3 2 3