As pointed out by Gilles, the script for moving files to the framework repo while preserving their history is going to be an essential maintainer tool for the next few month, so it would make sense to make it more robust and easy to use (and possibly have it in the framework repo).
As pointed out by Gilles, the script for moving files to the framework repo while preserving their history is going to be an essential maintainer tool for the next few month, so it would make sense to make it more robust and easy to use (and possibly have it in the framework repo).