[tlaplus] Contributing TLA+ specification to GitHub

[Aman Shaikh <amanshaikh75@xxxxxxxxx>]

Hi

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

thx

aman

-- 
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/a3bb0922-5565-4d80-b20d-a6e4e1cc7b8fn%40googlegroups.com.