Skip to content

Latest commit

 

History

History
17 lines (9 loc) · 1 KB

collaborators.md

File metadata and controls

17 lines (9 loc) · 1 KB

Collaborator guide

Creating releases

Releases are done semi-automatically through GitHub Actions. See the full workflow: release.yml

On the first of every month, it attempts to create a release if there are any unreleased commits on the main branch.

To create a release manually, visit the Release workflow page and click “Run the workflow”. This can be done approximately once a week, if worth it, or earlier if there are bugs of medium severity.

Hotfixes

When features are breaking GitHub altogether, they can be disabled immediately for everyone without going through the release/update process.

Refined GitHub fetches a list of buggy features at most every 6 hours if the user visits GitHub.

This list of disabled features lives on the hotfixes branch, together with more detailed instructions on how to properly use it.