but at different (and random) repos. It appears when Git has a corrupted file or there are changes in a file (the pom.xml with the updated version), but the file is also marked to be deleted.
Glad to hear things seem to have worked this time around - do you think the error was caused by an issue in the script, or do you suspect we have some corrupt files in one or the repos?
Many thanks for getting the RC out - trying to verify it now ;-) Regards ap
