cyberpresidentvanellope/Bubberstation
1
0
Fork 0
mirror of https://github.com/Bubberstation/Bubberstation.git synced 2025-12-19 14:12:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
* 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>
This commit is contained in:
SkyratBot
2022-12-02 05:33:51 +01:00
committed by GitHub
parent c3ab0ce321
commit e399afdef7
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/WebhookProcessor/github_webhook_processor.php
View File

@@ -245,6 +245,8 @@ function tag_pr($payload, $opened) {
if($opened) { //you only have one shot on these ones so as to not annoy maintainers
$tags = checkchangelog($payload);
if(strpos(strtolower($title), 'logs') !== FALSE || strpos(strtolower($title), 'logging') !== FALSE)
$tags[] = 'Logging';
if(strpos(strtolower($title), 'refactor') !== FALSE)
$tags[] = 'Refactor';
if(strpos(strtolower($title), 'revert') !== FALSE)