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

Re: [tlaplus] Contributing TLA+ specification to GitHub

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 <amanshaikh75@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/18DCC1FB-DEAB-4FC9-8237-99BB057C349E%40lemmster.de.