[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.