sorry for forgetting executing "git rm deletedfiles" before commit and push.