docs: def get_list_of_git_directories():
      """Returns a list of paths of git repos under the current directory."""
      dirs = [path[0] for path in list(os.walk('.')) if path[0].endswith('.git')]
      dirs = ['/'.join(path.split('/')[:-1]) for path in dirs]
      return sorted(dirs)