rules: fix source deletion

If we delete a source we must also delete the git directory.