chore(deps): update bot deps - #1659
Conversation
Signed-off-by: Marcus Brandenburger <bur@zurich.ibm.com>
|
Hey @mbrandenburger 👋 thanks for the PR! This comment updates automatically as you push changes -- think of it as your PR's live scoreboard! PR Checks✅ DCO Sign-off -- All commits have valid sign-offs. Nice work! ✅ GPG Signature -- All commits have verified GPG signatures. Locked and loaded! ✅ Merge Conflicts -- No merge conflicts detected. Smooth sailing! ❌ Issue Link -- This PR is not linked to any issue. Please reference an issue using a closing keyword (e.g. ⏳ All checks must pass before this PR can be reviewed. You've got this! |
Effi-S
left a comment
There was a problem hiding this comment.
I think you forgot: .github/scripts/package.json
|
Tick the box to add this pull request to the merge queue (same as
|
This PR updates the GH bot deps as discussed in #1658 (comment).