Issues created

• leanprover/lean4: 4
• plastex/plastex: 3
• pkra/mathjax-node-page: 3
• staticjinja/staticjinja: 2
• leanprover/vscode-lean4: 2
• ewels/rich-click: 1
• logpy/logpy: 1
• impermeable/waterproof: 1
• Ceasar/easywatch: 1
• pwmt/pwmt.github.io: 1
• leanprover-community/mathlib: 1
• alexpasmantier/television: 1
• typst/typst: 1
• leanprover/theorem_proving_in_lean: 1
• rocq-community/fourcolor: 1
• neovide/neovide: 1
• leanprover/verso: 1
• miyuchina/mistletoe: 1
• Julian/lean.nvim: 1
• gitpython-developers/GitPython: 1
• SirVer/ultisnips: 1
• azavea/django-queryset-csv: 1
• xournalpp/xournalpp: 1

Pull requests created

• leanprover-community/mathlib: 13
• onedeadkey/kalamine: 4
• imperialcollegelondon/flt: 3
• leanprover/leanprover.github.io: 3
• mpedramfar/lean-game-maker: 2
• pkra/mathjax-node-page: 2
• GeoCoq/GeoCoq: 1
• xournalpp/xournalpp.github.io: 1
• onedeadkey/arsenik: 1
• pytest-dev/pytest-bdd: 1
• ImperialCollegeLondon/M1P1-lean: 1
• imperialcollegelondon/natural_number_game: 1
• Julian/lean.nvim: 1
• lac1213/compact_unit_ball: 1
• leanprover-community/mathlib4: 1
• staticjinja/staticjinja: 1
• leanprover-community/highlightjs-lean: 1
• gitpython-developers/GitPython: 1
• arthurpaulino/leanrepl: 1
• githubnext/monaspace: 1
• typst/typst: 1
• dselsam/lean-gym: 1

Maintainer

• leanprover-community/mathlib: 14
• staticjinja/staticjinja: 3
• leanprover-community/highlightjs-lean: 1
• leanprover-community/mathlib4: 1

Active Maintainer

Issue Author Associations

• None (18, 56.25%)
• Contributor (11, 34.38%)
• Collaborator (2, 6.25%)
• Member (1, 3.13%)

Pull Request Author Associations

• Contributor (20, 46.51%)
• Member (15, 34.88%)
• None (7, 16.28%)
• Collaborator (1, 2.33%)

Top Issue Labels

• bug (5)
• enhancement (3)
• RFC (3)
• documentation (2)
• P-medium (2)
• question (1)
• duplicate (1)
• upstream (1)
• Windowing (1)
• acknowledged (1)
• plugins (1)
• Lake (1)
• bug: medium (1)
• triaged (1)
• math (1)

Top Pull Request Labels

• WIP (1)