The source project of this merge request has been removed.
I use the dump scripts on the production project, to detect local changes (and other local editions), after the upgrade, and I introduce few more "ignore" to keep the list cleaner for later diffs.
/cc @jerome