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/labeler.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/labeler.yml')
-rw-r--r-- | .github/workflows/labeler.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml index c09f7eb36..a53fdb3e9 100644 --- a/.github/workflows/labeler.yml +++ b/.github/workflows/labeler.yml @@ -1,3 +1,4 @@ +# Labeler labels incoming pull requests. name: "Labeler" on: - pull_request |