Issue #5 resolved

Handle directory deletes in push.

Anonymous created an issue

If a directory no longer contains any files, it should get marked for deletion when pushing.