Mark Loeser wrote:
> I personally don't see why they should be allowed to stay part of our
> communication channels where they have caused problems bad enough to get
> them retired.  With that being said, I think the same technical issues
> come into play here as with banning someone from "Gentoo" entirely.

I agree on this. I'd limit this ban to channels where they have caused
problems though (or channels which they've been taking part of), banning
them on each and every #gentoo-* channel is just an unnecessary overhead
imho. And for the given technical restrictions they'd be banned as
suggested, when they are coming back using another IP or another nick
the same rules would apply as for every other user - warning and ban if
they're misbehaving.

> I am not sure how we would be able to enforce this across the board for
> forcefully retired developers.

It's not really possible without some huge work overhead to fully ban
someone - therefore given limitations as described above would apply.
Everything else is not doable from my pov.

  Tobias