SkyratBot e399afdef7 [MIRROR] Github hook for adding "Logging" tag to logging PRs [MDB IGNORE] (#17877) ...

* Github hook for adding "Logging" tag to logging PRs (#71633)

## About The Pull Request
Github hook to add the Logging tag to PRs with "log/logs/logging" in the
title.

## Why It's Good For The Game
Computers doing my dirty work for me

## Changelog
No player-facing changes

Co-authored-by: tattle <article.disaster@ gmail.com>

* Github hook for adding "Logging" tag to logging PRs

Co-authored-by: tattle <66640614+dragomagol@users.noreply.github.com>
Co-authored-by: tattle <article.disaster@ gmail.com>

2022-12-01 20:33:51 -08:00

..

github_webhook_processor.php

[MIRROR] Github hook for adding "Logging" tag to logging PRs [MDB IGNORE] (#17877)

2022-12-01 20:33:51 -08:00

secret.php

…