Push ant.properties to repo.