I noticed that a patch rename in glibc-patches (i.e. editing the patch name in the commit log) led to creation of a file with new name of patch, but no deletion of old name. But it seems that the script is aware of renames, so maybe it can do this automatically.