Skip to content

Document the GitHub-native contribution workflow - #295

Merged
Happypig375 merged 3 commits into
masterfrom
chore/github-native-workflow
Aug 31, 2026
Merged

Document the GitHub-native contribution workflow#295
Happypig375 merged 3 commits into
masterfrom
chore/github-native-workflow

Conversation

@Happypig375

@Happypig375 Happypig375 commented Aug 30, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • document the repository's GitHub-native issue and pull-request workflow
  • distinguish core changes that need human review from peripheral changes that may rely on green CI and satisfactory independent LLM review
  • add core-only code ownership and repository-local coding-agent guidance
  • require concise scope, validation, maintenance cost, actual AI-review disclosure, and explicit human-judgment needs in pull-request descriptions

Related issue

Incorporates the review-policy discussion in #273 and its replies. This does not close #273.

Validation

  • git diff --check
  • focused policy validation for non-empty files, trailing whitespace, CODEOWNERS owners and paths, peripheral exclusions, and required review language
  • GitHub Actions: 6 successful, 4 skipped, 0 failing

Added code and maintenance

No runtime, public-API, rendering, serialization, platform, or migration impact. The new policy and CODEOWNERS map must be updated when repository boundaries or maintainer access change. CODEOWNERS requests reviews for matching core paths; the repository currently has no branch rule that enforces approval.

Review

Independent Codex review found two policy/ownership gaps and one formatting issue; all were fixed, and the final review was approved. GitHub Copilot was not used or assumed.

Human judgment

Yes. A maintainer should confirm the core/periphery boundary, owner list, and whether review enforcement should be configured separately.

@Happypig375 Happypig375 added Type/Housekeeping Repository, build, dependency, or internal maintenance. Area/Documentation Documentation, guides, and API usage examples. labels Aug 30, 2026
@Happypig375
Happypig375 merged commit 67d5b47 into master Aug 31, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area/Documentation Documentation, guides, and API usage examples. Type/Housekeeping Repository, build, dependency, or internal maintenance.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Evaluate ModeMath designs for CSharpMath font data and editing

2 participants