Skip to content

Latest commit

 

History

History
26 lines (16 loc) · 1.24 KB

@dependabot.md

File metadata and controls

26 lines (16 loc) · 1.24 KB
Raw

@dependabot

I believe this should work in v0.0.20

@dependabot creates commits in the host repository and triggers a special push -- where it doesn't have permission to comment (by default?).

https://github.community/t/permissions-nesecary-to-comment-on-a-pr/179047/2

Strategies

  • The bot could recognize that the commit it is handling is empty and comment on the parent (this seems generally useful) -- this may require the bot to fetch additional commits (not a big deal, it already does that occasionally).

  1. Maybe the workflow can ask for permission to comment:

      permissions:
    issues: write

  2. The bot could on failure, if it's a push for @dependabot (or listed accounts...):

    1. create an empty commit and push that.
    2. amend the current commit and force push it. (This might upset @dependabot)

FAQ | Showcase | Event descriptions | Configuration information | Known Issues | Possible features | Deprecations | Release notes | Helpful scripts