Home
last modified time | relevance | path

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

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