diff options
| author | Ian Lewis <ianlewis@google.com> | 2021-05-10 17:27:08 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-05-10 17:29:07 -0700 |
| commit | 1699d702cbfcf6f34bd14327b644738f996feb3b (patch) | |
| tree | 287cc56e322faf3618b203038044a472925f26d7 /.github/workflows/issue_reviver.yml | |
| parent | 6c349c675c49f1059efbcadb6b04123ab2357ca2 (diff) | |
Fix issue reviver
Fixes invocation of the Github issue reviver by including the required 'path'
command line option. Also updates the issue reviver to add a 'revived' label to
revived issues. Issues with a 'revived' label will no longer be marked as
stale.
PiperOrigin-RevId: 373046772
Diffstat (limited to '.github/workflows/issue_reviver.yml')
| -rw-r--r-- | .github/workflows/issue_reviver.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/issue_reviver.yml b/.github/workflows/issue_reviver.yml index 3bd883035..f2d584ac0 100644 --- a/.github/workflows/issue_reviver.yml +++ b/.github/workflows/issue_reviver.yml @@ -11,7 +11,7 @@ jobs: steps: - uses: actions/checkout@v2 if: github.repository == 'google/gvisor' - - run: make run TARGETS="//tools/github" ARGS="revive" + - run: make run TARGETS="//tools/github" ARGS="-path=. revive" if: github.repository == 'google/gvisor' env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |