Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
ReviewBot & leaper: provide deduplicate method for leaper comment (and other fixes) #693
This resolves the duplicate line in comment on unhandled request types (like sr#457061).
I debated making the maintbot check conditional or similar, but seems like this can occur in a variety of ways and even more in the future. If maintbot ends up supporting different types of requests than leaper the message may be appropriate, etc. As such I implemented deduplicate via
Additionally, there are two definitions of