I recently found out I've been banned from all of their repositories on GitHub, while as far as I'm aware our only interaction was on a duplicated bug issue I created, as I didn't manage to find the original with GitHub's search like in the linked issue from the OP.

I've been moving away from their tools with this and the resistance to implement/merge useful things that basically everyone wants