Martin von Zweigbergk 31041ef46c github: trigger all builds on main branch, and PR for any branch ... The conditions for triggering Nix builds and other builds were slightly different. Nix builds triggered by PRs happened on PRs for any branch, not just the `main` branch. That makes very little difference in practice because PRs for other branches are very rare. Still, let's be consistent. I decided to trigger the builds on PRs for any branch. More importantly, Nix builds triggered by push were only done for pushes to `master`, which is not what our main branch is called, so those never happened.		2022-05-06 11:56:50 -07:00
..
workflows	github: trigger all builds on main branch, and PR for any branch	2022-05-06 11:56:50 -07:00
dependabot.yml	github: add a dependabot config	2022-03-16 21:09:01 -07:00
ISSUE_TEMPLATE.md	github: include version number in issue template again	2022-03-12 23:34:37 -08:00
PULL_REQUEST_TEMPLATE.md	github: add reminder in PR template about updating the changelog	2022-03-23 09:57:42 -07:00