Issues created

• math-comp/multinomials: 2
• ocaml/num: 1
• maxlath/wikibase-cli: 1
• kpcyrd/acme-redirect: 1
• zulip/python-zulip-api: 1
• profanity-im/profanity: 1
• emersion/grim: 1
• florajs/sql-parser: 1
• rapideditor/country-coder: 1
• Zaczero/osm-relatify: 1
• emersion/slurp: 1
• freeotp/freeotp-android: 1

Pull requests created

• uds-psl/coq-library-complexity: 8
• osmlab/name-suggestion-index: 4
• math-comp/multinomials: 4
• osmlab/osm-community-index: 2
• ojroques/garbled-circuit: 2
• coq/coq: 2
• florajs/sql-parser: 1
• math-comp/coq-combi: 1
• uds-psl/coqtm: 1
• eventable/vobject: 1
• speedskater/PolarFlowSynchronizer: 1
• PinataCloud/ipfs-gateway-tools: 1
• coq-community/coq-100-theorems: 1
• torproject/community: 1
• libexpat/libexpat.github.io: 1
• rfjakob/earlyoom: 1

Maintainer

Active Maintainer

Issue Author Associations

• None (13, 100.00%)

Pull Request Author Associations

• None (20, 62.50%)
• Contributor (12, 37.50%)

Top Issue Labels

• bug (1)
• enhancement (1)

Top Pull Request Labels

• part: standard library (2)
• kind: enhancement (2)
• bug (1)
• Size:MD (1)
• needs: rebase (1)
• needs: full CI (1)