No reply to bots #1927
Merged
No reply to bots #1927
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
AutumnClove
changed the title
AutumnClove
added
a/options
TheerapakG
requested changes
Jul 17, 2019
TheerapakG
approved these changes
Jul 17, 2019
AutumnClove
added
the
a/frontend
jayktaylor
approved these changes
Jul 23, 2019
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
After creating your pull request, tick these boxes if they are applicable to you.
reviewbranch (the latest developmental version), and this pull request is targeting that branch as a baseDescription
Adds a check to ignore other bots with an id override
Thanks @TheerapakG for showing typos and spoon feeding processing id's (TheerapakG: I did not tell you how to do id processing at all. I only say that it is needed. I did not spoonfeeding)
Related issues (if applicable)