Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
main Copy branch name to clipboard	Apr 16, 2025				Delete branchBranch menu
fig-number-span Copy branch name to clipboard	May 7, 2023				Delete branchBranch menu
format-caption Copy branch name to clipboard	May 7, 2023				Delete branchBranch menu
gh-pages Copy branch name to clipboard	github-actions Oct 13, 2021				Delete branchBranch menu
docs/github-pages Copy branch name to clipboard	Jul 29, 2021				Delete branchBranch menu
docs/netlify-cd Copy branch name to clipboard	Jul 28, 2021				Delete branchBranch menu
bold-label-theorem-env Copy branch name to clipboard	Jul 20, 2021				Delete branchBranch menu
cleanup Copy branch name to clipboard	Feb 17, 2021				Delete branchBranch menu
print-book Copy branch name to clipboard	Oct 18, 2017				Delete branchBranch menu