git.yaml 197 B

12345678910
  1. tasks:
  2. clone:
  3. desc: Clone git repo
  4. run: |
  5. if test ! -d {path}
  6. then git clone {repo_uri} {path}
  7. fi
  8. pull:
  9. desc: Update codebase
  10. run: cd src/prove && git pull