@b847c1960@mastodon.online IMO blocking his account was warranted since he violated their terms of service by intentionally causing "technical harm": https://docs.github.com/en/github/site-policy/github-acceptable-use-policies#2-content-restrictions