You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to tlaplus
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
Markus Kuppe
unread,
Apr 24, 2023, 7:22:02 PM4/24/23
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to tla...@googlegroups.com
Hi Aman,
from our side, there is minimal process involved [1].
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to tlaplus
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
Aman Shaikh
unread,
Apr 25, 2023, 5:32:57 PM4/25/23
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to tlaplus
Thanks Markus and Andrew. Stay tuned (as I go through the various curveballs the release process throws at me).
aman
Aman Shaikh
unread,
May 5, 2023, 7:24:49 PM5/5/23
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message