optional linting: only fetch master branch (#3972)

2026-07-08 22:45:00 -04:00 · 2025-07-02 22:21:17 -04:00
parent ce23af2cb2
commit ac7ccd960d
1 changed files with 1 additions and 1 deletions
@@ -67,6 +67,6 @@ jobs:
      - name: Check for Removed goal_src/ Code
        # FYI - if you run this `git diff` on windows, it creates a utf-16 LE file
        run: |
-          git fetch origin
+          git fetch origin master
          git diff origin/master > lint-changes.diff
          python ./scripts/ci/lint-gsrc-removals.py