Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / robin-aws issue stats
Total issues: 247
Total pull requests: 187
Merged pull request: 135
Average time to close issues: 6 months
Average time to close pull requests: 12 days
Average comments per issue: 1.46
Average comments per pull request: 0.58
Issues created
- dafny-lang/dafny: 166
- dafny-lang/libraries: 31
- dafny-lang/dafny.msbuild: 11
- dafny-lang/dafny-gradle-plugin: 9
- dafny-lang/setup-dafny-action: 6
- aws/aws-encryption-sdk-dafny: 6
- dafny-lang/dafny-reportgenerator: 4
- awslabs/aws-encryption-sdk-specification: 4
- dafny-lang/rfcs: 2
- awslabs/amazon-sqs-java-temporary-queues-client: 2
- aws/aws-cryptographic-material-providers-library-java: 1
- awslabs/payload-offloading-java-common-lib-for-aws: 1
- dafny-lang/xdsmith: 1
- AlDanial/cloc: 1
- melix/jmh-gradle-plugin: 1
- aws-actions/aws-codebuild-run-build: 1
Pull requests created
- dafny-lang/dafny: 83
- dafny-lang/libraries: 12
- aws/aws-cryptographic-material-providers-library-java: 11
- awslabs/amazon-sqs-java-temporary-queues-client: 10
- dafny-lang/setup-dafny-action: 8
- robin-aws/git-secrets-test: 7
- aws/aws-database-encryption-sdk-dynamodb: 6
- dafny-lang/ide-vscode: 6
- dafny-lang/dafny-lang.github.io: 6
- dafny-lang/rfcs: 5
- dafny-lang/dafny.msbuild: 5
- dafny-lang/dafny-gradle-plugin: 5
- dafny-lang/blog: 4
- awslabs/aws-encryption-sdk-test-vectors: 4
- dafny-lang/dafny-reportgenerator: 4
- aws/aws-encryption-sdk-dafny: 3
- awslabs/aws-crypto-tools-test-vector-framework: 2
- aws/aws-cryptographic-material-providers-library: 1
- dorny/test-reporter: 1
- dafny-lang/libraries-without-variance: 1
- dafny-lang/xdsmith: 1
- indutny/asn1.js: 1
- awslabs/aws-encryption-sdk-specification: 1
Maintainer
- dafny-lang/dafny: 249
- dafny-lang/libraries: 43
- dafny-lang/dafny.msbuild: 16
- dafny-lang/setup-dafny-action: 14
- dafny-lang/dafny-gradle-plugin: 14
- dafny-lang/dafny-reportgenerator: 8
- dafny-lang/rfcs: 7
- robin-aws/git-secrets-test: 7
- dafny-lang/dafny-lang.github.io: 6
- dafny-lang/ide-vscode: 6
- dafny-lang/blog: 4
- dafny-lang/xdsmith: 2
- dafny-lang/libraries-without-variance: 1
Active Maintainer
Issue Author Associations
- Member (230, 93.12%)
- Contributor (14, 5.67%)
- None (3, 1.21%)
Pull Request Author Associations
- Member (140, 74.87%)
- Contributor (38, 20.32%)
- Owner (7, 3.74%)
- None (2, 1.07%)
Top Issue Labels
- kind: enhancement (58)
- kind: bug (56)
- priority: not yet (30)
- during 2: compilation of correct program (20)
- testing-method: uniform-backend-testing (20)
- part: standard libraries (19)
- part: code-generation (17)
- release-blocker (14)
- lang: java (12)
- priority: next (12)
- lang: golang (10)
- kind: language development speed (9)
- misc: cleanup (7)
- severity: release-blocker (7)
- part: runtime (6)
Top Pull Request Labels
- run-deep-tests (11)
- run-integration-tests (3)
- documentation (1)
- help wanted (1)
- enhancement (1)
- breaking-change (1)