Git fetch develop

.github/workflows/lint.yml

@@ -64,6 +64,7 @@ jobs:
         # Womtool validate checks very slowly, so this saves a lot of time.
         run: |
           bash -c '
+            git fetch --depth=1 origin develop
             for WDL_FILE in $(git diff --name-only origin/${{github.base_ref}} | grep -E '*.wdl$'); do
               womtool validate $WDL_FILE
             done