Something strange happened to the source, only deletions were pushed.
Mentally append this to the last commit