pull 357 B

  1. #!/bin/bash
  2. #assuming at least one push was done, you could use just: $ git pull
  3. #but to be sure, explicity state the 'origin' remote:
  4. git pull origin && ./check
  5. #^ added ./check after pull, or else risk overwriting the changes in the existing commits with the old state of files from current computer if not using ./check to update them first! (manually)