Issues created

• coq-community/coqffi: 24
• lthms/FreeSpec: 18
• lthms/chain: 9
• lthms/spatial-shell: 8
• lthms/colorless-themes.el: 3
• lthms/nano2016: 2
• lysxia/coq-simple-io: 2
• PataphysicalSociety/soupault: 2
• eskimor/servant-purescript: 2
• lthms/nspawn: 2
• coq/coq: 2
• janestreet/ppx_optcomp: 1
• mirleft/ocaml-tls: 1
• robertmeta/nofrils: 1
• tree-sitter/tree-sitter-ocaml: 1
• plume-org/amsterdam: 1
• purescript-halogen/purescript-halogen: 1
• cpitclaudel/alectryon: 1
• rocq-community/manifesto: 1
• imalsogreg/servant-reflex: 1
• riot-ml/riot: 1
• rocq-community/coq-ext-lib: 1
• lthms/speccert: 1
• riebel/pixi-tiledmap: 1
• oil-lang/oil-rs: 1
• Byron/gitoxide: 1
• craigfe/progress: 1

Pull requests created

• coq-community/coqffi: 63
• lthms/FreeSpec: 36
• lthms/nano2016: 7
• lthms/spatial-shell: 3
• ocaml-community/awesome-ocaml: 2
• riot-ml/gluon: 2
• eskimor/servant-purescript: 2
• PataphysicalSociety/soupault: 2
• lthms/chain: 2
• riot-ml/riot: 2
• pataphysicalsociety/soupault.app: 2
• rocq-community/awesome-coq: 2
• rocq-community/coq-ext-lib: 1
• lthms/speccert: 1
• coq-community/templates: 1
• flycheck/flycheck-popup-tip: 1
• lthms/coq-comparse: 1
• Byron/gitoxide: 1
• aantron/dream: 1
• chux0519/runcat-tray: 1
• spacefox/bca-jdr: 1
• Plume-org/rocket_i18n: 1
• flycheck/flycheck-ocaml: 1
• plume-org/rocket_csrf: 1
• Plume-org/Plume: 1
• stacked-git/stgit: 1
• imalsogreg/servant-reflex: 1

Maintainer

• coq-community/coqffi: 87
• lthms/FreeSpec: 54
• lthms/chain: 11
• lthms/spatial-shell: 11
• lthms/nano2016: 9
• lthms/colorless-themes.el: 3
• lthms/nspawn: 2
• lthms/speccert: 2
• rocq-community/coq-ext-lib: 2
• rocq-community/awesome-coq: 2
• coq-community/templates: 1
• lthms/coq-comparse: 1
• rocq-community/manifesto: 1

Active Maintainer

Issue Author Associations

• Owner (43, 47.78%)
• Member (26, 28.89%)
• None (12, 13.33%)
• Contributor (9, 10.00%)

Pull Request Author Associations

• Member (67, 47.86%)
• Owner (50, 35.71%)
• Contributor (21, 15.00%)
• None (2, 1.43%)

Top Issue Labels

• target | core (10)
• bug (7)
• question (7)
• target | exec (6)
• enhancement (5)
• sort | refactor (5)
• target | io (4)
• kind | refactor (4)
• artifact (3)
• kind | documentation (3)
• kind | feature (3)
• help wanted (2)
• sort | chore (2)
• release (2)
• sort | documentation (2)

Top Pull Request Labels

• target | exec (11)
• target | core (9)
• kind | feature (9)
• kind | refactor (7)
• target | stdlib (3)
• kind | bug (2)
• kind | documentation (2)
• blocked (1)
• question (1)
• target | io (1)
• sort | feature (1)