Edward Thomson e447de936d ci: only build docs on main branch pushes ...

Don't build docs on pushes to maint branches; those docs should only be
built _on release_. In addition, be safer about not creating an existing
branch from a tracking branch.

2024-12-28 10:59:12 +00:00

..

actions

ci: allow opting out of push-options tests

2024-02-29 21:30:09 +00:00

workflows

ci: only build docs on main branch pushes

2024-12-28 10:59:12 +00:00

ISSUE_TEMPLATE

github: update issue template

2018-04-18 09:40:44 +01:00

release.yml

docs: add "benchmarks" section to changelog

2024-12-16 10:56:31 +00:00