Ignore build.xml file when making pushing changes to the repo.