{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":767871149,"defaultBranch":"main","name":"tlaplus-specification","ownerLogin":"ybbh","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-03-06T03:28:52.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/22721357?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1709695741.4419699","currentOid":""},"activityList":{"items":[{"before":"4170ad21bcd576ef609e5adef820cac536c1d8f6","after":"8dc31f8f0f7a11fd2845775f246bb416a6bd497c","ref":"refs/heads/main","pushedAt":"2024-06-02T15:31:50.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":"Merge branch 'scuptio:main' into main","shortMessageHtmlLink":"Merge branch 'scuptio:main' into main"}},{"before":"9b273e39ace502f430ccaec6eb9f14a4b01a70eb","after":"4170ad21bcd576ef609e5adef820cac536c1d8f6","ref":"refs/heads/main","pushedAt":"2024-06-02T15:31:23.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":"c6a01e21a884b50eb2c6d0cb843909822ab9408e","after":"9b273e39ace502f430ccaec6eb9f14a4b01a70eb","ref":"refs/heads/main","pushedAt":"2024-06-02T15:19:37.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":"13221c7c32fc32cae5e4795bb1f0125be45a204d","after":"c6a01e21a884b50eb2c6d0cb843909822ab9408e","ref":"refs/heads/main","pushedAt":"2024-04-15T19:40:30.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+, Raft ReConfig","shortMessageHtmlLink":"TLA+, Raft ReConfig"}},{"before":"758a64b058fc00cc8f1353e1aa6a8ccfcccad35e","after":"13221c7c32fc32cae5e4795bb1f0125be45a204d","ref":"refs/heads/main","pushedAt":"2024-03-25T03:20:27.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":"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\">scuptio#5</a> from ybbh/main"}},{"before":"ba16a7cfdd8c91b32ded4f9fff146a4edd1dd47a","after":"758a64b058fc00cc8f1353e1aa6a8ccfcccad35e","ref":"refs/heads/main","pushedAt":"2024-03-06T03:55:58.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"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWjymygA","startCursor":null,"endCursor":null}},"title":"Activity · ybbh/tlaplus-specification"}