Add "[skip ci]" to MantisBT commit messages

@Nike, your feedback on this would be appreciated.

-- Damien13:40, 7 June 2022

I have captured the commit message customization request in this task: https://phabricator.wikimedia.org/T310142

For short term, would switching the commit mode from push-to-master to push-to-branch + automatic pull request help you?

Nike (talk)12:05, 8 June 2022

Thanks Nike. I subscribed to the Phabricator ticket to stay informed of progress.

would switching the commit mode from push-to-master to push-to-branch + automatic pull request help you?

As far as I know, pull request submissions also trigger TravisCI builds, so I don't think that would make any difference in terms of credits consumption, unless there is a setting that can somehow prevent the builds to occur based on some criteria (user who submitted, branch name or whatever). I'll look into that.

Please do not change anything for now.

-- Damien11:06, 14 June 2022