New data field: Bot label on contributors

> [!NOTE]
> Migrated from [augurlabs/augur#2537](https://github.com/augurlabs/augur/issues/2537)
> Originally opened by `@cdolfi` on 2023-10-02

---

Bots are now many times applications or some form of automated feature that as a "bot" tag on them and can be seen visually. The github api hold them in the "type" field for a "user" https://api.github.com/users/welcome[bot]. It would be great to have this type distinction as a column in the contributors table to use to filter out bots (and maybe other use cases in the future from the type field.

https://stackoverflow.com/questions/52731464/can-we-use-github-api-to-determine-if-a-github-user-is-a-bot#:~:text=1%20Answer&text=When%20querying%20https%3A%2F%2Fapi,type%20equals%20the%20string%20Bot%20