Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 1 of 1 for Reed (0.24 sec)

  1. common/scripts/check_clean_repo.sh

    git apply <(curl -sL \"${patchFile}\")
    "
    }
    
    if [[ -n $(git status --porcelain) ]]; then
      git status
      git diff
      echo "ERROR: Some files need to be updated, please run 'make gen' and include any changed files in your PR"
      write_patch_file
      exit 1
    Shell Script
    - Registered: Wed May 01 22:53:12 GMT 2024
    - Last Modified: Wed Jan 11 22:57:12 GMT 2023
    - 1.7K bytes
    - Viewed (0)
Back to top