Asking this here as it didn’t get much traction on Discord - but with the move
to P12, the category format in Tonel has changed from a symbol to a string e.g.
{ #category : #examples } vs { #category : 'examples' } - this causes mega
noise when submitting tiny PR's - how is everyone else handling this? Should
projects resave every project module to get the new format while people are out
of the pool? Or is there a way to force the old format on specific projects
until they can be upgraded ?
It seems like a change whose consequences need some attention ?
What are others doing?
Tim
