Issue 5720 push publish fails after renaming file