Searched refs:edit_branch (Results 1 – 2 of 2) sorted by relevance
98 def modifylevel(filename,secname,edit_branch): argument112 …--\n[Edit on GitLab](https://gitlab.com/petsc/petsc/-/edit/%s/%s)\n\n" % (edit_branch, source_path)237 edit_branch = 'release' if git_ref == git_ref_release else 'main'240 edit_branch = 'main'246 table = createtable(dirname,levels,secname,edit_branch)
133 edit_branch = "release" if git_ref == git_ref_release else "main" variable136 edit_branch = "main" variable142 "gitlab_version": edit_branch,