32 lines
1.0 KiB
Python
32 lines
1.0 KiB
Python
import os
|
|
|
|
import git
|
|
|
|
from joint_teapot.config import settings
|
|
|
|
|
|
class Git:
|
|
def __init__(self, org_name: str = settings.org_name, repos_dir: str = ""):
|
|
self.org_name = org_name
|
|
if not os.path.isdir(repos_dir):
|
|
raise Exception(f"{repos_dir} does not exist! Create it first.")
|
|
self.repos_dir = repos_dir
|
|
|
|
def __get_repo(self, repo_name: str) -> git.Repo:
|
|
repo_dir = os.path.join(self.repos_dir, repo_name)
|
|
if os.path.exists(repo_dir):
|
|
return git.Repo(repo_dir)
|
|
return git.Repo.clone_from(
|
|
f"https://focs.ji.sjtu.edu.cn/git/{self.org_name}/{repo_name}",
|
|
repo_dir,
|
|
branch="master",
|
|
)
|
|
|
|
def repo_checkout_to_tag(self, repo_name: str, tag_name: str) -> str:
|
|
repo = self.__get_repo(repo_name)
|
|
repo.git.fetch("--tags", "--all", "-f")
|
|
repo.git.reset("--hard", f"origin/master")
|
|
repo.git.clean("-d", "-f", "-x")
|
|
repo.git.checkout(f"tags/{tag_name}")
|
|
return os.path.join(self.repos_dir, repo_name)
|