Add bot usernames for fsharp/fsharp #15

Open
sarahsharp opened this Issue Nov 8, 2016 · 0 comments

Projects

None yet

1 participant

@sarahsharp
Owner

Many github communities use bots to suggest reviewers, do automated testing, and more.

foss-heartbeat breaks bots into a separate category in the html contribution statistics, by checking for the username in getBots in ghstats.py.

Additionally, if a bot merges a commit after being issued a command in a pull request comment, appendReviewers in ghcategorize.py will attribute the merge to that person, as well as to the bot. Currently, we check for a specific command string at the beginning of the comment. If your test-and-merge bot accepts commands in the middle of a comment, please update the code.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment