The action attempts to update Lean and Mathlib. If an update is available then the updated version is tested. This allows for automatic committing of the updated project, opening PRs or opening issues.
MIT License
6
stars
2
forks
source link
fix: bump peter-evans/create-pull-request from 6 to 7 #35
:sparkles: Now supports commit signing with bot-generated tokens! See "What's new" below. :writing_hand::robot:
Behaviour changes
Action input git-token has been renamed branch-token, to be more clear about its purpose. The branch-token is the token that the action will use to create and update the branch.
The action now handles requests that have been rate-limited by GitHub. Requests hitting a primary rate limit will retry twice, for a total of three attempts. Requests hitting a secondary rate limit will not be retried.
The pull-request-operation output now returns none when no operation was executed.
Removed deprecated output environment variable PULL_REQUEST_NUMBER. Please use the pull-request-number action output instead.
What's new
The action can now sign commits as github-actions[bot] when using GITHUB_TOKEN, or your own bot when using GitHub App tokens. See commit signing for details.
Action input draft now accepts a new value always-true. This will set the pull request to draft status when the pull request is updated, as well as on creation.
A new action input maintainer-can-modify indicates whether maintainers can modify the pull request. The default is true, which retains the existing behaviour of the action.
A new output pull-request-commits-verified returns true or false, indicating whether GitHub considers the signature of the branch's commits to be verified.
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
- `@dependabot show ignore conditions` will show all of the ignore conditions of the specified dependency
- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
Bumps peter-evans/create-pull-request from 6 to 7.
Release notes
Sourced from peter-evans/create-pull-request's releases.
... (truncated)
Commits
4320041feat: signed commits (v7) (#3057)0c2a66fbuild(deps-dev): bump ts-jest from 29.2.4 to 29.2.5 (#3256)17121bcbuild(deps-dev): bump@types/nodefrom 18.19.45 to 18.19.46 (#3254)87b5d6dbuild(deps-dev): bump eslint-import-resolver-typescript (#3255)00897e0build: update distribution (#3221)4cfc1fcbuild(deps-dev): bump@types/nodefrom 18.19.44 to 18.19.45 (#3214)cb4ed64build(deps): bump undici from 6.19.7 to 6.19.8 (#3213)4eb90b7ci: separate test suite commands in pr comment5308ecbci: add sign-commits flag to test suite commentba864adbuild: update distribution (#3154)Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot show