diff options
Diffstat (limited to '.github/workflows/issue_reviver.yml')
-rw-r--r-- | .github/workflows/issue_reviver.yml | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/.github/workflows/issue_reviver.yml b/.github/workflows/issue_reviver.yml deleted file mode 100644 index a6a9b1b4f..000000000 --- a/.github/workflows/issue_reviver.yml +++ /dev/null @@ -1,18 +0,0 @@ -# This workflow revives issues that are still referenced in the code, and may -# have been accidentally closed. -name: "Issue reviver" -"on": - schedule: - - cron: '0 0 * * *' - -jobs: - issue_reviver: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v2 - if: github.repository == 'google/gvisor' - - run: make run TARGETS="//tools/github" ARGS="-path=. revive" - if: github.repository == 'google/gvisor' - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - GITHUB_REPOSITORY: ${{ github.repository }} |