Skip to content

CI: Add bot token #1962

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Oct 25, 2024
Merged

CI: Add bot token #1962

merged 1 commit into from
Oct 25, 2024

Conversation

drwpow
Copy link
Contributor

@drwpow drwpow commented Oct 25, 2024

Changes

CI-change only. Adds @openapi-ts-bot user token to run the changesets action that prepares releases.

Currently, we are using the default GitHub Actions bot, which CAN’T run PR checks, which means a normal maintainer can’t merge release PRs without admin override permissions. This ensures not only release PRs run actions; it also lets maintainers approve package releases more-easily. This is a common workaround implemented by many open source repos; we just hadn’t taken the time to set this up before.

How to Review

  • There’s nothing to review; this may require some post-merge fixes

Checklist

N/A

@drwpow drwpow requested a review from a team as a code owner October 25, 2024 16:42
Copy link

changeset-bot bot commented Oct 25, 2024

⚠️ No Changeset found

Latest commit: 541953f

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

Copy link
Contributor

size-limit report 📦

Path Size
packages/openapi-fetch/dist/index.min.js 5.85 KB (0%)

@drwpow drwpow merged commit dd15bd7 into main Oct 25, 2024
10 checks passed
@drwpow drwpow deleted the drwpow/pr-bot branch October 25, 2024 16:48
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