How do we remove with GIT

This is handy recipe for removing an entire directory using GIT:

git rm -rf PC