Skip to content

chore(repo): add contribution infrastructure#7

Merged
connorcarpenter15 merged 2 commits into
mainfrom
chore/repository-infrastructure
Jul 9, 2026
Merged

chore(repo): add contribution infrastructure#7
connorcarpenter15 merged 2 commits into
mainfrom
chore/repository-infrastructure

Conversation

@connorcarpenter15

Copy link
Copy Markdown
Member

Summary

  • add structured bug and protocol-change issue forms plus private security routing
  • add a protocol-aware pull request checklist
  • add Markdown lint and link-check CI with locally reproducible configuration
  • add shared editor settings and resolve the existing Markdown lint backlog
  • keep Buf compatibility breaking checks disabled

Validation

  • buf build
  • buf lint
  • markdownlint-cli2 v0.23.0: 0 errors
  • actionlint v1.7.12
  • Prettier 3.6.2 YAML parse/format check
  • Lychee 0.24.2: 55 links checked, 0 errors

Signed-off-by: Connor Carpenter <connorc@nvidia.com>
Signed-off-by: Connor Carpenter <connorc@nvidia.com>
@connorcarpenter15 connorcarpenter15 marked this pull request as ready for review July 9, 2026 23:18
@connorcarpenter15 connorcarpenter15 merged commit 7093bf0 into main Jul 9, 2026
3 checks passed
@connorcarpenter15 connorcarpenter15 deleted the chore/repository-infrastructure branch July 9, 2026 23:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant