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
The tagging script is geared towards master being the main branch of a repository. github has changed its default to main quite some time ago, and the tagging script can be used to target that, but it is a bit cumbersome, e.g.
The tagging script is geared towards
master
being the main branch of a repository. github has changed its default tomain
quite some time ago, and the tagging script can be used to target that, but it is a bit cumbersome, e.g.Ideally this would work the same as for repositories that have
master
as their main branch, where it is enough to doIt is not a huge problem, but maybe we have some spare cycles to do this at some point.
The text was updated successfully, but these errors were encountered: