Open simonbasle opened 6 years ago
This would provide an alternative path for fast-tracking a PR:
@bot fast-track blah blah blah
watchedLabel
blah blah blah
⚠️ The bot MUST ignore labeled events that have the bot as sender ⚠️
labeled
sender
This has been implemented in 99f77cd and dismissal by deletion of comment in 969cbdf The bot doesn't put the label yet though... Keeping this open for the later
This would provide an alternative path for fast-tracking a PR:
@bot fast-track blah blah blah
, in a PR commentwatchedLabel
on the PRblah blah blah
description⚠️ The bot MUST ignore
labeled
events that have the bot assender
⚠️