Contributor profile
internet-dot
Public GitHub account id: 207546839
Verified roles: Implementation
Install HOL Guard
Accepted record
364 distinct original works · 364 deliveries(one work can travel through several deliveries and releases)
Verified roles
Implementation
Attribution
Credits derive from public pull requests, verified commit authorship, and verified co-authorship — nothing else.
Accepted contributions
- work hol-guard/pr/5321 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/532
- work hol-guard/pr/5331 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/533
- work hol-guard/pr/5341 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/534
- work hol-guard/pr/5351 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/535
- work hol-guard/pr/5361 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/536
- work hol-guard/pr/5371 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/537
- work hol-guard/pr/5381 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/538
- work hol-guard/pr/5391 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/539
- work hol-guard/pr/5401 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/540
- work hol-guard/pr/5411 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/541
- work hol-guard/pr/5421 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/542
- work hol-guard/pr/7351 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/735
- work hol-guard/pr/32221 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/pr/3222
Shipped in: v3.12.0
- work hol-guard/pr/33191 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/pr/3319
Shipped in: v3.15.6
Coverage and honesty notes
- Attribution inventory for this account: complete.
- History coverage: a complete-history inventory has NOT been verified, so first-contribution and first-release milestones are omitted rather than guessed.
- Recognition is attribution-only: credits derive from public pull requests, verified commit authorship, and verified co-authorship — nothing else.
Corrections
Something wrong or missing? Request a correction or removal. Corrections and suppression are durable decisions that override everything else, including replays of the upstream source.