Update multiple repos at once

update_repos.py

# Feel free to use and modify
import os
import re
import git

pattern = r"^9\d{2}-.*" #Give some pattern of repos if needed
for name in os.listdir("."):
    parent_dir = os.getcwd()
    if os.path.isdir(name) and re.match(pattern, name):
        os.chdir(name)
        repo = git.Repo()
        print(repo)
        try:
            repo.branches['dev'].checkout()
            repo.remotes.origin.pull()
        except Exception as e:
            continue
            
        print(name+" got pulled to latest")
    os.chdir(parent_dir)