Closed dependabot[bot] closed 4 months ago
Dependabot tried to add @souradeep-das
, @wsdt
, @Boyuan-Chen
and @InoMurko
as reviewers to this PR, but received the following error from GitHub:
POST https://api.github.com/repos/bobanetwork/boba/pulls/1341/requested_reviewers: 422 - Reviews may only be requested from collaborators. One or more of the users or teams you specified is not a collaborator of the bobanetwork/boba repository. // See: https://docs.github.com/rest/pulls/review-requests#request-reviewers-for-a-pull-request
Superseded by #1350.
Bumps hardhat from 2.12.5 to 2.19.5.
Release notes
Sourced from hardhat's releases.
... (truncated)
Commits
2f5c30c
Version Packages99b60c1
Allow github actions bot to edit changet PR5119eb3
Set write permissions to github actions bot8f47553
Merge pull request #4802 from NomicFoundation/update-chainsfb673f2
Update hardhat-verify: add holesky & arbitrumSepolia, remove arbitrumTestnet ...4ae94e5
Merge pull request #4800 from NomicFoundation/uniform-autoassigner84f5e84
Merge pull request #4801 from NomicFoundation/fix-docs-pre-post-scriptsa564788
Run pre/post scripts for docs5b4560d
Use a uniform distribution for the autoassignerd9d5d19
Merge pull request #4748 from orenyomtov/patch-2You can trigger a rebase of this PR 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