Home
last modified time | relevance | path

Searched refs:git_ref (Results 1 – 2 of 2) sorted by relevance

/petsc/doc/
H A Dconf.py131 git_ref = subprocess.check_output(["git", "rev-parse", "HEAD"]).rstrip() variable
133 edit_branch = "release" if git_ref == git_ref_release else "main"
H A Dbuild_man_index.py234 git_ref = subprocess.check_output(['git', 'rev-parse', 'HEAD']).rstrip()
237 edit_branch = 'release' if git_ref == git_ref_release else 'main'