VERSION: Disable git snapshots for the 4.2.5 release.