add gitrm to remove deleted files"