Skip to content

Instantly share code, notes, and snippets.

@awesomebytes
Created May 30, 2019 06:13
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save awesomebytes/7c9ba1079d3973466a60609c313dabee to your computer and use it in GitHub Desktop.
Save awesomebytes/7c9ba1079d3973466a60609c313dabee to your computer and use it in GitHub Desktop.
Update the repos in the workspace. Place this script in the workspace that contains Git repos and execute it.
#!/usr/bin/env python
import os
for directory in os.listdir("."):
if os.path.isdir(directory):
print("Git pull-ing in: " + str(directory))
os.system("cd " + str(directory) + "; git pull")
print("Done.")
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment