how to delete a developers workspace

Question

A developer has left, and his workstation is now formatted. TFS thinks he still has files checked out. Clearly he'll never be checking them in. How do I tell TFS to forget about it?

Answer 1

How to: Undo another users check-out

How to: Remove a Workspace

Answer 2

Deleting a workspace, and undoing another user check-out (and much more!) can be done using the Sidekick tool (it is free). Specifically look at Workspace Sidekick and Status Sidekick:

Workspace screenshot:
_{(source: attrice.info)}
Status screenshot:
_{(source: attrice.info)}