diff options
| author | Adin Scannell <ascannell@google.com> | 2020-04-23 13:00:34 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-04-23 13:02:17 -0700 |
| commit | 2e8c35b506654172243ea46918d27c897fca568c (patch) | |
| tree | c430d08810dd5c90b9dee7d368bb11be0f676613 /tools | |
| parent | ded5c963ae5c2a5d37508f8d122031a2cd60d642 (diff) | |
Add basic GitHub labeler workflow.
This is the first automated GitHub actions workflow, and it simply applies
labels to pull request in a best-effort fashion.
PiperOrigin-RevId: 308112191
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions