Ask HN: Are there bots on GitHub too?

Someone starred/forked a repository a public repo of mine. Upon checking, https://github.com/isgasho seems to be forking primarily Go and Rust code repos, and has done so for 5K+ repos. Is that a bot?