Skip to content

Branch PR is must now - #1

Merged
sahnianuj merged 1 commit into
mainfrom
make-pull-necessary
Oct 21, 2026
Merged

sahnianuj merged 1 commit into
mainfrom
make-pull-necessary

Conversation

@sahnianuj

Copy link
Copy Markdown
Collaborator

Story

What changed

Implemented story 050 which enforces rulesets

Tests

Checklist

  • [ X] make check passes
  • Story Status updated, with make index and make coverage run in the same change (CONTRIBUTING.md)
  • User-facing change: docs/getting-started.md, docs/runbook.md or make docs updated as needed

@sahnianuj sahnianuj self-assigned this Oct 21, 2026
@sahnianuj

Copy link
Copy Markdown
Collaborator Author

Allowed

@sahnianuj
sahnianuj merged commit bdb25c2 into main Oct 21, 2026
10 checks passed
@sahnianuj
sahnianuj deleted the make-pull-necessary branch October 21, 2026 18:54
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