Push scripts for reindenting and for fixing copyright years.