Skip to content

Feature/pr-policies - #17

Merged
jniklas03 merged 6 commits into
devfrom
feature/pr-policies
Sep 17, 2026
Merged

jniklas03 merged 6 commits into
devfrom
feature/pr-policies

Conversation

@jniklas03

@jniklas03 jniklas03 commented Sep 15, 2026 •

Copy link
Copy Markdown
Collaborator
  • Introduce policies which require PRs from feature/* or fix/* branches to dev, and PRs from dev to main
  • Update workflow versions due to node.js errors
  • Make job names unique across release.yml and docs.yml
    Also fixes an indentation error in converter.py that breaks building docs

Following Github rulesets should be considered to further enforce this workflow:

  • Target branch: main, dev
  • Restrict deletions
  • Require a pull request before merging
  • Require status checks to pass
  • Block force pushes

@jniklas03
jniklas03 marked this pull request as ready for review September 17, 2026 04:48
@jniklas03
jniklas03 merged commit e375b72 into dev Sep 17, 2026
11 checks passed
@jniklas03
jniklas03 deleted the feature/pr-policies branch September 17, 2026 04:51
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