On 12 May 2024, at 06:21, Tim Mackinnon <tim@testit.works> wrote:

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