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

Re: [tlaplus] Contributing TLA+ specification to GitHub

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/e15df150-afec-44f6-94a6-b5bfaed20ca9n%40googlegroups.com.