Closed fgrosshans closed 3 months ago
Thanks for the PR, which is obviously correct except I'm not sure about the status of the target branch. @wspr do you use the working
branch for staging or is that now redundant and feature branch PR can go straight to master (which we probably should rename to main)?
@davidcarlisle β it still suits my workflow to have commits turn up here but in the long run I think we should just go with the main branch. I'll change the GitHub setting for where pull requests should land
Hmm, I must have been dreaming when I thought there was a setting for that... never mind
A dash was missing between πΈ and β€ in the description of the range of the double-struck style: it was {πβπ«,πΈβ€}