{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":693531992,"defaultBranch":"main","name":"tlaplus-specification","ownerLogin":"scuptio","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-09-19T08:04:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/99789069?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1695110668.0","currentOid":""},"activityList":{"items":[{"before":"ed8e38f80ea6217d9f0a6e9453cc36276ee75e13","after":"e5d677d6794e339df41807b8b105c4458156d486","ref":"refs/heads/main","pushedAt":"2024-06-02T15:32:28.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":"Merge pull request #7 from ybbh/main\n\nRaft TLA+","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2329718137\" data-permission-text=\"Title is private\" data-url=\"https://github.com/scuptio/tlaplus-specification/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/scuptio/tlaplus-specification/pull/7/hovercard\" href=\"https://github.com/scuptio/tlaplus-specification/pull/7\">#7</a> from ybbh/main"}},{"before":"13221c7c32fc32cae5e4795bb1f0125be45a204d","after":"ed8e38f80ea6217d9f0a6e9453cc36276ee75e13","ref":"refs/heads/main","pushedAt":"2024-04-15T19:42:18.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":"Merge pull request #6 from ybbh/main\n\nTLA+, Raft ReConfig","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2244471561\" data-permission-text=\"Title is private\" data-url=\"https://github.com/scuptio/tlaplus-specification/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/scuptio/tlaplus-specification/pull/6/hovercard\" href=\"https://github.com/scuptio/tlaplus-specification/pull/6\">#6</a> from ybbh/main"}},{"before":"ba16a7cfdd8c91b32ded4f9fff146a4edd1dd47a","after":"13221c7c32fc32cae5e4795bb1f0125be45a204d","ref":"refs/heads/main","pushedAt":"2024-03-06T03:56:59.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":"Merge pull request #5 from ybbh/main\n\n.tla","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2170586930\" data-permission-text=\"Title is private\" data-url=\"https://github.com/scuptio/tlaplus-specification/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/scuptio/tlaplus-specification/pull/5/hovercard\" href=\"https://github.com/scuptio/tlaplus-specification/pull/5\">#5</a> from ybbh/main"}},{"before":"6473bc09cf42b25e3820ff5a5a9abda9b6e748e6","after":"ba16a7cfdd8c91b32ded4f9fff146a4edd1dd47a","ref":"refs/heads/main","pushedAt":"2024-02-23T07:19:26.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":"Merge pull request #4 from ybbh/main\n\nmodified: spec/blink_tree.tla","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2150501562\" data-permission-text=\"Title is private\" data-url=\"https://github.com/scuptio/tlaplus-specification/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/scuptio/tlaplus-specification/pull/4/hovercard\" href=\"https://github.com/scuptio/tlaplus-specification/pull/4\">#4</a> from ybbh/main"}},{"before":"604d93733a9a0e9c59305f4029e91101d7e42fb4","after":"6473bc09cf42b25e3820ff5a5a9abda9b6e748e6","ref":"refs/heads/main","pushedAt":"2024-02-19T03:42:20.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":"Merge pull request #3 from ybbh/main\n\nblink","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2141435003\" data-permission-text=\"Title is private\" data-url=\"https://github.com/scuptio/tlaplus-specification/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/scuptio/tlaplus-specification/pull/3/hovercard\" href=\"https://github.com/scuptio/tlaplus-specification/pull/3\">#3</a> from ybbh/main"}},{"before":"ccf55971bd7ebecdc74b1c8d52e795ff0d5e22fd","after":"604d93733a9a0e9c59305f4029e91101d7e42fb4","ref":"refs/heads/main","pushedAt":"2024-01-26T07:16:03.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":"Merge pull request #2 from ybbh/main\n\nblink tree TLA+ specification","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2101710695\" data-permission-text=\"Title is private\" data-url=\"https://github.com/scuptio/tlaplus-specification/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/scuptio/tlaplus-specification/pull/2/hovercard\" href=\"https://github.com/scuptio/tlaplus-specification/pull/2\">#2</a> from ybbh/main"}},{"before":"63e204feedbae9d9cb1db12ea9e41b2022d8e06d","after":"ccf55971bd7ebecdc74b1c8d52e795ff0d5e22fd","ref":"refs/heads/main","pushedAt":"2023-12-22T14:17:40.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":"Merge pull request #1 from ybbh/main\n\ntlaplus spec","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2053989550\" data-permission-text=\"Title is private\" data-url=\"https://github.com/scuptio/tlaplus-specification/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/scuptio/tlaplus-specification/pull/1/hovercard\" href=\"https://github.com/scuptio/tlaplus-specification/pull/1\">#1</a> from ybbh/main"}},{"before":"588ffe70acd6e11a1926a7c0ce35ec4cd994ea26","after":"63e204feedbae9d9cb1db12ea9e41b2022d8e06d","ref":"refs/heads/main","pushedAt":"2023-12-04T16:34:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"451febccc1eeef0319e4a2d68257233c113dcf8d","after":"588ffe70acd6e11a1926a7c0ce35ec4cd994ea26","ref":"refs/heads/main","pushedAt":"2023-12-03T07:05:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"88c6a65051b6988ae5bc93a6e71ef2a91fc444fd","after":"451febccc1eeef0319e4a2d68257233c113dcf8d","ref":"refs/heads/main","pushedAt":"2023-11-27T17:48:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"8f059913aecc9ef1f6ce3c8e1b5c22e507d5ba46","after":"88c6a65051b6988ae5bc93a6e71ef2a91fc444fd","ref":"refs/heads/main","pushedAt":"2023-11-22T14:35:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"f709562fa0cb956d8cc76fd68971ddc5336d8169","after":"8f059913aecc9ef1f6ce3c8e1b5c22e507d5ba46","ref":"refs/heads/main","pushedAt":"2023-11-16T16:15:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"d14c40d7411e5bad466fbf737b09ed3921233d68","after":"f709562fa0cb956d8cc76fd68971ddc5336d8169","ref":"refs/heads/main","pushedAt":"2023-11-13T01:36:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"e7ca13cff3d84126d77e6d195ebd1ed9157675f1","after":"d14c40d7411e5bad466fbf737b09ed3921233d68","ref":"refs/heads/main","pushedAt":"2023-11-12T14:41:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"530979451f1ab94664a77fcd67214aefb20e8bb9","after":"e7ca13cff3d84126d77e6d195ebd1ed9157675f1","ref":"refs/heads/main","pushedAt":"2023-11-10T09:46:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"309b48b778e3aeec418d949c7f75700e13356655","after":"530979451f1ab94664a77fcd67214aefb20e8bb9","ref":"refs/heads/main","pushedAt":"2023-11-10T08:38:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"8f55df5433016f3e0c9e57add88d5425ec169aaf","after":"309b48b778e3aeec418d949c7f75700e13356655","ref":"refs/heads/main","pushedAt":"2023-11-10T02:14:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"73eda10550b4679a16f58ca33659fb37e7be696f","after":"8f55df5433016f3e0c9e57add88d5425ec169aaf","ref":"refs/heads/main","pushedAt":"2023-11-09T07:37:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"218a05dcc0ea5dce0ac0eebe6e1ea71880fb4642","after":"73eda10550b4679a16f58ca33659fb37e7be696f","ref":"refs/heads/main","pushedAt":"2023-11-08T04:19:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"df5bdda214583fedddac6f31744c8fe0176fae8b","after":"218a05dcc0ea5dce0ac0eebe6e1ea71880fb4642","ref":"refs/heads/main","pushedAt":"2023-11-07T06:08:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"941e0dfabd405f11864d1aea9968decc9ccf8965","after":"df5bdda214583fedddac6f31744c8fe0176fae8b","ref":"refs/heads/main","pushedAt":"2023-10-29T09:03:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"156c8023b4308d0468b1951785a2ec9ba6a6bd8d","after":"941e0dfabd405f11864d1aea9968decc9ccf8965","ref":"refs/heads/main","pushedAt":"2023-10-26T02:33:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"3c465b43e12eda741d46950bc78c3d6761cb7994","after":"156c8023b4308d0468b1951785a2ec9ba6a6bd8d","ref":"refs/heads/main","pushedAt":"2023-10-25T17:02:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"655573c89b7d1ab314aefe2d8dcb925860ddabcf","after":"3c465b43e12eda741d46950bc78c3d6761cb7994","ref":"refs/heads/main","pushedAt":"2023-10-25T00:47:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"b03121de98bc77253d4c0a2b280e57a8d69fe5b1","after":"655573c89b7d1ab314aefe2d8dcb925860ddabcf","ref":"refs/heads/main","pushedAt":"2023-10-23T15:55:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"660a573c6d7fec1c358c92c5a34c7d76b82b2b20","after":"b03121de98bc77253d4c0a2b280e57a8d69fe5b1","ref":"refs/heads/main","pushedAt":"2023-10-23T08:06:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"2465a98f17343ef724ab8234ca8f42dacd066344","after":"660a573c6d7fec1c358c92c5a34c7d76b82b2b20","ref":"refs/heads/main","pushedAt":"2023-10-22T15:08:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"c89f2d84c90113e2181e49257f38a76bc553d416","after":"2465a98f17343ef724ab8234ca8f42dacd066344","ref":"refs/heads/main","pushedAt":"2023-10-20T01:30:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":"fix append log .tla","shortMessageHtmlLink":"fix append log .tla"}},{"before":"ef826d6f4da8e6b963e165074f5c1a41d674c766","after":"c89f2d84c90113e2181e49257f38a76bc553d416","ref":"refs/heads/main","pushedAt":"2023-10-19T15:52:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":".tla","shortMessageHtmlLink":".tla"}},{"before":"b75f2a40b4646581684a45e8b0342f04cf7ffee0","after":"ef826d6f4da8e6b963e165074f5c1a41d674c766","ref":"refs/heads/main","pushedAt":"2023-10-18T16:29:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ybbh","name":"Guo Hua","path":"/ybbh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22721357?s=80&v=4"},"commit":{"message":"raft vote","shortMessageHtmlLink":"raft vote"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWjy2vQA","startCursor":null,"endCursor":null}},"title":"Activity · scuptio/tlaplus-specification"}