Hi,
This is indeed a noisy change. That's the reason it was a change we were holding back during years, but at a point we needed to do it (there is a spec for tonel format we made together with Gemstone people and at a point, we needed to go to the agreed definition.
So, yes... this will cause annoying moments until all projects are migrated. My recommendation is to make a PR with the new format and work from there.
Esteban
ps: there will be still some noise, next year, since we need to clean up a bit around... I am sorry in advance.
On 12/05/2024 23:55, stephane ducasse wrote:The team will be back from vacation���. last week was a three free days week :).SOn 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?TimSt��phane Ducasse06 30 93 66 73"If you knew today was your last day on earth, what would you do differently? ....ESPECIALLY if, by doing something different, today might not be your last day on earth.��� Calvin & Hobbes