Ignore pull request

Apologies, my edit bot is having issues making my account to accidentally create a few unneeded pull requests for purple text at translators.xiaomi.eu/XML_CHECK_FULL.html