Skip to content

docs: Point GitHub conventions at the shared skill - #334

Open
ecv wants to merge 1 commit into
mainfrom
ecv/pr-conventions-pointer
Open

docs: Point GitHub conventions at the shared skill#334
ecv wants to merge 1 commit into
mainfrom
ecv/pr-conventions-pointer

Conversation

@ecv

@ecv ecv commented Aug 5, 2026

Copy link
Copy Markdown
Contributor

Summary

The rules for writing pull requests and issues were copied into this repository, and the copy had already drifted from the shared skill it summarised — it named no limits anyone could check. The skill now carries a countable bar and a check that blocks a post that misses it, so this repository keeps a pointer and nothing else.

Test plan

  • A body that misses the bar is blocked when opening a pull request here

Related to https://github.com/datum-cloud/infra/issues/3803

The rules for pull requests and issues were copied here and had drifted from
the shared skill, and none of the copy named a limit anyone could check.

The skill now carries a countable bar and a hook that blocks a post missing
it, so this file keeps a pointer rather than a second statement of the rules.
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