VERSION: Disable git snapshots for the 4.2.13 release.