Attempting to fix auto-merge trouble by pushing files which don't look like they've changed.