{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":518353375,"defaultBranch":"master","name":"tlaplus","ownerLogin":"dariusf","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2022-07-27T07:25:53.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/4328341?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1674441413.443142","currentOid":""},"activityList":{"items":[{"before":"2fa982411c64f8765c692ad6c06b75be2ef27baa","after":"c5f3e891e0ef88499664e6e32e27ab6a435bfd41","ref":"refs/heads/mbtc","pushedAt":"2024-01-01T13:40:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"Fix inability to restart election unless elected","shortMessageHtmlLink":"Fix inability to restart election unless elected"}},{"before":"2dd51de61edec284031088fcfe8116712b634223","after":"2fa982411c64f8765c692ad6c06b75be2ef27baa","ref":"refs/heads/mbtc","pushedAt":"2023-12-29T10:20:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"Raft leader election","shortMessageHtmlLink":"Raft leader election"}},{"before":"b9c367f774615c813ab80725aa53e35f9a90aa17","after":"2dd51de61edec284031088fcfe8116712b634223","ref":"refs/heads/mbtc","pushedAt":"2023-12-29T10:00:09.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"Paxos and NBAC","shortMessageHtmlLink":"Paxos and NBAC"}},{"before":"44103805ef62bae9342b25e836ac3b8cc3845261","after":"b9c367f774615c813ab80725aa53e35f9a90aa17","ref":"refs/heads/mbtc","pushedAt":"2023-12-29T08:50:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"Update tests","shortMessageHtmlLink":"Update tests"}},{"before":"769bb14dd4e94ae678a516d1b6dfb33ed8e6c504","after":"44103805ef62bae9342b25e836ac3b8cc3845261","ref":"refs/heads/mbtc","pushedAt":"2023-12-29T08:35:25.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"Update tests","shortMessageHtmlLink":"Update tests"}},{"before":"a487f63b3b44039c485e3511488c2409bbea5e51","after":"769bb14dd4e94ae678a516d1b6dfb33ed8e6c504","ref":"refs/heads/mbtc","pushedAt":"2023-12-28T08:17:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"Fail if no party is acting","shortMessageHtmlLink":"Fail if no party is acting"}},{"before":"99e3449a633a338e9334a3d2345f44a2e3634111","after":"a487f63b3b44039c485e3511488c2409bbea5e51","ref":"refs/heads/mbtc","pushedAt":"2023-12-28T07:44:12.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"Strip subscripts before TLA+ translation","shortMessageHtmlLink":"Strip subscripts before TLA+ translation"}},{"before":"23d8748f70ddb4b77cfff93b28c178e955282c73","after":"99e3449a633a338e9334a3d2345f44a2e3634111","ref":"refs/heads/mbtc","pushedAt":"2023-12-27T11:56:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"Update tests with current state","shortMessageHtmlLink":"Update tests with current state"}},{"before":"ea19aa35ab908d998cef5c65869a24f662fe2f7d","after":"23d8748f70ddb4b77cfff93b28c178e955282c73","ref":"refs/heads/mbtc","pushedAt":"2023-12-27T09:40:42.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"Implement missing cases","shortMessageHtmlLink":"Implement missing cases"}},{"before":"fac024bbc31923f7b97c1cab4c5113bef09ff0e7","after":"ea19aa35ab908d998cef5c65869a24f662fe2f7d","ref":"refs/heads/mbtc","pushedAt":"2023-12-27T08:19:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"Substitute bound variables when lifting out of all","shortMessageHtmlLink":"Substitute bound variables when lifting out of all"}},{"before":"0bfa840b6e38ef99075c6f06c2a47a56c1d5eea5","after":"fac024bbc31923f7b97c1cab4c5113bef09ff0e7","ref":"refs/heads/mbtc","pushedAt":"2023-12-27T08:19:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"Substitute bound variables when lifting out of all","shortMessageHtmlLink":"Substitute bound variables when lifting out of all"}},{"before":"13fbbc4e657ebcd26f2e030759adad5493a950e8","after":"0bfa840b6e38ef99075c6f06c2a47a56c1d5eea5","ref":"refs/heads/mbtc","pushedAt":"2023-12-27T07:58:27.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"Add me variable","shortMessageHtmlLink":"Add me variable"}},{"before":"5ca0dfceb1bb84c33f6e9b6db1a9e8ac8c74dc2c","after":"13fbbc4e657ebcd26f2e030759adad5493a950e8","ref":"refs/heads/mbtc","pushedAt":"2023-12-02T06:31:36.000Z","pushType":"push","commitsCount":26,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"Remove restriction on single-statement clauses","shortMessageHtmlLink":"Remove restriction on single-statement clauses"}},{"before":"36a4958dc96348d72857d70ee856a67ba871d3bc","after":"5ca0dfceb1bb84c33f6e9b6db1a9e8ac8c74dc2c","ref":"refs/heads/mbtc","pushedAt":"2023-11-17T03:17:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"Avoid ad hoc heuristic","shortMessageHtmlLink":"Avoid ad hoc heuristic"}},{"before":"019119e085ae8c923d49375d8543f74f033bcec6","after":"36a4958dc96348d72857d70ee856a67ba871d3bc","ref":"refs/heads/mbtc","pushedAt":"2023-09-27T08:48:47.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"May and must sets of modified variables","shortMessageHtmlLink":"May and must sets of modified variables"}},{"before":"d06100055f3fb0c50e438e0f57482c6d64bdb4c5","after":"019119e085ae8c923d49375d8543f74f033bcec6","ref":"refs/heads/mbtc","pushedAt":"2023-03-21T05:22:53.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"dariusf","name":"Darius Foo","path":"/dariusf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4328341?s=80&v=4"},"commit":{"message":"Clean up Raft model","shortMessageHtmlLink":"Clean up Raft model"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD1W_JFAA","startCursor":null,"endCursor":null}},"title":"Activity · dariusf/tlaplus"}