diff options
| author | Matthias Bertschy <matthias.bertschy@gmail.com> | 2018-06-25 15:08:14 +0200 |
|---|---|---|
| committer | Matthias Bertschy <matthias.bertschy@gmail.com> | 2018-09-03 13:23:23 +0200 |
| commit | 14bcbe91102d2aa70f0380b9805281243de270b1 (patch) | |
| tree | ee7d6694eaa98494fdc4bdec26e496f71c7439ec /github-management | |
| parent | 4075f4d47f5c557f17c7303d45ec8feb53e4f852 (diff) | |
KEP to use a new label for trusted PR identification
Diffstat (limited to 'github-management')
0 files changed, 0 insertions, 0 deletions