How do I take away check-in privileges of a developer who's no longer participating in the project?

If you're a project owner, just go to the project's "Administer" tab and remove that person's project membership.