Comment on ci: do not run auto commit in pull requests