Re: [tlaplus] Version control for models?

["Freeman, Steve" <Steve.Freeman@xxxxxxxxxx>]

Interesting. Thanks

S

-----Original Message-----
From: <tlaplus@xxxxxxxxxxxxxxxx> on behalf of Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>
Reply to: "tlaplus@xxxxxxxxxxxxxxxx" <tlaplus@xxxxxxxxxxxxxxxx>
Date: Monday, 4 January 2021 at 19:14
To: "tlaplus@xxxxxxxxxxxxxxxx" <tlaplus@xxxxxxxxxxxxxxxx>
Subject: Re: [tlaplus] Version control for models?


    On 04.01.21 08:00, steve....@xxxxxxxxxx wrote:
    > I'm working on a model, keeping the .tla files in version control but 
    > I'm wondering what to do about the model configurations. I see that 
    > they're available under a X.toolbox/ directory. Should I just add 
    > /Module/.toolbox//ModelName// to my version control and ignore all the 
    > snapshot directories?
    > 
    > I hesitate to use the term "Best Practice", so I'll settle for "Good 
    > Practice"


    Hi,

    for git I use this: https://github.com/github/gitignore/pull/3613

    Markus

    -- 
    You received this message because you are subscribed to the Google Groups "tlaplus" group.
    To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
    To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/9ede70a3-8726-88e9-1168-c6ebfff66dcd%40lemmster.de.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/93D44C1E-04A6-4A85-A644-1BDDA719EF17%40zuhlke.com.