You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jan 23, 2025. It is now read-only.
While it is possible to get tested commits on main, by opening a PR and when CI passes on the head of the PR pushing that commit to main, it is still possible to use a github merge method instead on the github web interface.
I dont like githubs merge methods. It would be really cool to make it impossible (or really difficult) use those merge methods.
It could help if I check CI status threw the gh cli tool instead of opening the web interface. (The less i look at github.com the less remember that the PR can be merged on the web.)
The text was updated successfully, but these errors were encountered:
While it is possible to get tested commits on main, by opening a PR and when CI passes on the head of the PR pushing that commit to main, it is still possible to use a github merge method instead on the github web interface.
I dont like githubs merge methods. It would be really cool to make it impossible (or really difficult) use those merge methods.
It could help if I check CI status threw the
gh
cli tool instead of opening the web interface. (The less i look at github.com the less remember that the PR can be merged on the web.)The text was updated successfully, but these errors were encountered: