The announcement should come pretty much immediately.. that's why I was generic in mine. It allows the "punishment" to be announced while still allotting the Mods/Admins to PM and discuss it with the dev.

If it turns out the dev was malicious, a modified announcement could be made that he/she's been banned permanently.

As far as the mob thing... once it's done it's done.. especially if the thread is locked. Unless someone really cares that much they won't bother making a new post just to scream because their favorite app is gone I don't think that'll be all that common.

Then again.. I'm sure we'll see the "WTF admins tramplin mah rights!" cropping up. But any time you have jobs/positions in any form you'll get those.

If we have a post/sticky/wiki/document that explains explicitly what happens when/if a Dev (or anybody) breaks or abuses the extras repo's.. there isn't much to argue about. The announcement contains a link directly to whatever portion of that guidance is applicable. That way it's not just a bunch of people screaming "BURN HIM", "NOOO WE LOVE HIM".. etc.