Closed ninovanhooff closed 1 month ago
I'm not sure but do you think it will also change the default branch the user will see when accessing the github page? In this case the other goal of the dev branch would be undone
Yeah setting dev
as the default branch makes it become the branch users will see when visiting the repository, this is not something we would want
Ah, a catch-22.
Allright, this can be closed
On Tue, 15 Oct 2024, 00:10 Samuele Zolfanelli, @.***> wrote:
Yeah setting dev as the default branch makes it become the branch users will see when visiting the repository, this is not something we would want
— Reply to this email directly, view it on GitHub https://github.com/samdze/playdate-nim/issues/81#issuecomment-2412419916, or unsubscribe https://github.com/notifications/unsubscribe-auth/ACO7DH2GI5JC4FXPK6FRGR3Z3Q6OTAVCNFSM6AAAAABP4TQKH6VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDIMJSGQYTSOJRGY . You are receiving this because you authored the thread.Message ID: @.***>
The defauukt branch is the branch that is auto-selected for new PR's.
Please change that to dev as it is currently main, which nullifies the dev branch'es usefullness
I don't have access, but here is were @samdze can change it: