[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Contributing TLA+ specification to GitHub

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'?

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).


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!


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].


[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.