Ignore changes to jenkins.ini

No match.