Automatic green checkmark for tickets that only touch CI scripts

[mkoeppe]

There is no need to run the patchbot on tickets such as https://trac.sagemath.org/ticket/30933 ("critical" ticket in milestone 9.5, in "positive review" for 3 weeks) that do not change anything that is tested by the patchbot or the release manager.

This includes any changes in:

• .github/
• .*ci*/
• .gitignore
• .vscode/
• build/pkgs/*/distros/*.txt
• docker/
• **/tox.ini