diff options
| author | jackpoz <giacomopoz@gmail.com> | 2020-05-23 23:22:54 +0200 |
|---|---|---|
| committer | jackpoz <giacomopoz@gmail.com> | 2020-05-23 23:22:54 +0200 |
| commit | ebb6f12db811d78a538982cca9b8cc1887fc2527 (patch) | |
| tree | 99e237cbd31c39d9e6eedb9329df1ab2f330ff55 /src | |
| parent | 59e8b98bef5cee939e684869c3a8bd6ae950ff5b (diff) | |
CI/GitHub: Add another Pull Request labeler as cron job
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions