Skip to content

chore: github permissions#276

Merged
saan800 merged 3 commits into
mainfrom
chore/github_permissions
Jun 1, 2026
Merged

chore: github permissions#276
saan800 merged 3 commits into
mainfrom
chore/github_permissions

Conversation

@saan800

@saan800 saan800 commented Jun 1, 2026

Copy link
Copy Markdown
Owner

🗒️ Description

✅ Checklist

  • Linked to any related issues in the PR description
  • Added or updated documentation
  • Tests for new functionality and regression tests for bug fixes
  • Breaking changes were made

@github-actions github-actions Bot added no-release Changes don't require a release and wont be included in the release notes labels Jun 1, 2026
@saan800 saan800 merged commit 7425b3a into main Jun 1, 2026
28 checks passed
@saan800 saan800 deleted the chore/github_permissions branch June 1, 2026 15:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-release Changes don't require a release and wont be included in the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant