Ignore changes to jenkins.ini