Join GitHub today
Add bot usernames for fsharp/fsharp #15
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
Additionally, if a bot merges a commit after being issued a command in a pull request comment,