[machina_ex_deus]

They can ban the offending repo. They are either extremely incompetent or malicious, either way I'm totally avoiding GitHub from now on. Absolutely disgusting behavior.