Re: [tlaplus] Contributing TLA+ specification to GitHub

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

Hi Aman,

I recommend including a dedicated LICENSE.md file containing the Apache License 2.0 in your spec's folder.

Thanks,
Markus

> On May 5, 2023, at 4:24 PM, Aman Shaikh <amanshaikh75@xxxxxxxxx> wrote:
> 
> Hi Markus and Andrew,
> 
> From https://github.com/tlaplus/Examples#contributing:
> 
> 1. Ensure your spec is released under MIT or a similarly-permissive license.
> 
> My employer seems to be using Apache 2 licence. Does it fall under the category of 'similarly-permissive licence'?
> 
> thx
> aman
> On Tuesday, April 25, 2023 at 5:32:57 PM UTC-4 Aman Shaikh wrote:
> Thanks Markus and Andrew. Stay tuned (as I go through the various curveballs the release process throws at me).
> 
> aman
> 
> On Tuesday, April 25, 2023 at 10:32:20 AM UTC-4 Andrew Helwer wrote:
> You'll be the first person outside the core dev team & myself to go through the new continuous integration workflow for the tlaplus/examples repo, so please don't hesitate to ping me on github (@ahelwer) if you run into any issues!
> 
> Andrew
> 
> On Monday, April 24, 2023 at 7:22:02 PM UTC-4 Markus Kuppe wrote:
> Hi Aman, 
> 
> from our side, there is minimal process involved [1]. 
> 
> Markus 
> 
> [1] https://github.com/tlaplus/Examples#contributing 
> 
> > On Apr 24, 2023, at 4:15 PM, Aman Shaikh <amansh...@xxxxxxxxx> wrote: 
> > 
> > I have written some TLA+ specifications related to the BGP routing protocol. I'd like to contribute them to GitHub. I still need to go through the release process of my employer since I wrote the specs on their infrastructure. Before I start the process though, I'd like to know if there is anything I need to do anything from TLA+-side (or its GitHub repository). 
> > 
> 
> 
> -- 
> 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/4be272a0-2ee9-4474-9f87-312cff1f8b69n%40googlegroups.com.


-- 
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/7B6BF4BD-A823-478C-BFBF-3F6EBC98B01C%40lemmster.de.