add dev-question comment for issue trackers (#159750)

This commit is contained in:
Isidor Nikolic 2022-09-01 13:16:39 +02:00 committed by GitHub
parent f40125756b
commit 5b0bca892d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

12
.github/commands.json vendored
View file

@ -11,6 +11,18 @@
"action": "updateLabels",
"addLabel": "*question"
},
{
"type": "comment",
"name": "dev-question",
"allowUsers": [
"cleidigh",
"usernamehw",
"gjsjohnmurray",
"IllusionMH"
],
"action": "updateLabels",
"addLabel": "*dev-question"
},
{
"type": "label",
"name": "*question",