Pull Request Replication Controller
https://mercari.connpass.com/event/227024/
で発表しました。
アーカイブはYouTubeから見れます!
https://www.youtube.com/watch?v=u5Eq-uJBvzg
ちなみに、TLA+チートシートは以下
https://zenn.dev/riita10069/articles/bc689cae1c7bc0
riita10069
October 21, 2021