[ci] Fix linting race with upstream merges to develop
The additional git fetch
causes issues in the case where a commit lands on develop between when the CI run starts and when this lint script runs.
The additional git fetch
causes issues in the case where a commit lands on develop between when the CI run starts and when this lint script runs.