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

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

Browse Source 
## 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>
This commit is contained in:
tattle
2022-12-01 19:40:48 -08:00
committed by GitHub
parent 04b9fd0fce
commit bb3e874841
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

@@ -242,6 +242,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)