diff options
author | Adin Scannell <ascannell@google.com> | 2020-12-15 10:02:55 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-12-15 10:05:47 -0800 |
commit | 4e963c99ce23ce6838b4bca351f767460601f34a (patch) | |
tree | 7e6b4b8124da6519f416d78409d07cdef1b00ba3 /.github/workflows/issue_reviver.yml | |
parent | 25ebddbddfbc518a810c0aebde85a1b2e14bc7df (diff) |
Cleanup GitHub actions workflows.
Also, drop the pull_request template, since this has not proved to be
helpful, and just results in a commit message the includes the list.
PiperOrigin-RevId: 347636507
Diffstat (limited to '.github/workflows/issue_reviver.yml')
-rw-r--r-- | .github/workflows/issue_reviver.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/issue_reviver.yml b/.github/workflows/issue_reviver.yml index c53185620..f03b814c9 100644 --- a/.github/workflows/issue_reviver.yml +++ b/.github/workflows/issue_reviver.yml @@ -1,3 +1,5 @@ +# This workflow revives issues that are still referenced in the code, and may +# have been accidentally closed or marked stale. name: "Issue reviver" on: schedule: |