{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":568116720,"defaultBranch":"main","name":"rst1991","ownerLogin":"atomgardner","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-11-19T14:01:26.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2355824?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1668866508.7895622","currentOid":""},"activityList":{"items":[{"before":"6fce3e5ae7224a1f05ae82dd6a47d6ce112e00be","after":"99a9a831f0ade6fa7e5fe727bed45245c1378c1f","ref":"refs/heads/main","pushedAt":"2023-08-15T09:51:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"atomgardner","name":null,"path":"/atomgardner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2355824?s=80&v=4"},"commit":{"message":"style: make the whole thing more presentable\n\nThis is done in three parts:\n\n1. Factor the \"vector clocks\" into a `VectorTime` module.\n2. Use consistent operator naming.\n3. Use local bindings to make actions less inscrutable.","shortMessageHtmlLink":"style: make the whole thing more presentable"}},{"before":"b5ee7a342a7d1ae7c01ad3820910b2976a2c4187","after":"6fce3e5ae7224a1f05ae82dd6a47d6ce112e00be","ref":"refs/heads/main","pushedAt":"2023-08-15T09:50:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"atomgardner","name":null,"path":"/atomgardner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2355824?s=80&v=4"},"commit":{"message":"style: make the whole thing more presentable\n\nThis is done in three parts:\n\n1. Factor the \"vector clocks\" into a `VectorTime` module.\n2. Use consistent operator naming.\n3. Use local bindings to make actions less inscrutable.","shortMessageHtmlLink":"style: make the whole thing more presentable"}},{"before":"37db93fbfc750a6ba41b975775dc484486c9ff06","after":"b5ee7a342a7d1ae7c01ad3820910b2976a2c4187","ref":"refs/heads/main","pushedAt":"2023-08-15T09:47:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"atomgardner","name":null,"path":"/atomgardner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2355824?s=80&v=4"},"commit":{"message":"style: make the whole thing more presentable\n\nThis is done in three parts:\n\n1. Factor the \"vector clocks\" into a `VectorTime` module.\n2. Use consistent operator naming.\n3. Use local bindings to make actions less inscrutable.","shortMessageHtmlLink":"style: make the whole thing more presentable"}},{"before":"cd8103b13d73afb6a66cb0b09cd789034cdaae63","after":"37db93fbfc750a6ba41b975775dc484486c9ff06","ref":"refs/heads/main","pushedAt":"2023-08-15T09:46:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"atomgardner","name":null,"path":"/atomgardner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2355824?s=80&v=4"},"commit":{"message":"style: make the whole thing more presentable\n\nThis is done in three parts:\n\n1. Factor the \"vector clocks\" into a `VectorTime` module.\n2. Use consistent operator naming.\n3. Use local bindings to make actions less inscrutable.","shortMessageHtmlLink":"style: make the whole thing more presentable"}},{"before":"943a9e020531c2418978eb5a0bc39785bd282c64","after":"cd8103b13d73afb6a66cb0b09cd789034cdaae63","ref":"refs/heads/main","pushedAt":"2023-08-15T09:45:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"atomgardner","name":null,"path":"/atomgardner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2355824?s=80&v=4"},"commit":{"message":"style: make the whole thing more presentable\n\nThis is done in three parts:\n\n1. Factor the \"vector clocks\" into a `VectorTime` module.\n2. Use consistent operator naming.\n3. Use local bindings to make actions less inscrutable.","shortMessageHtmlLink":"style: make the whole thing more presentable"}},{"before":"0f8897117297b5713312ec91fac07e8544b02666","after":"943a9e020531c2418978eb5a0bc39785bd282c64","ref":"refs/heads/main","pushedAt":"2023-07-12T11:08:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"atomgardner","name":null,"path":"/atomgardner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2355824?s=80&v=4"},"commit":{"message":"model check: Raynal, Schiper, Toueg\n\nThe [holy grail] paper is really crisp. It makes precise many colloquial\nsemaphores.","shortMessageHtmlLink":"model check: Raynal, Schiper, Toueg"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0xNVQwOTo1MTo0MS4wMDAwMDBazwAAAANq9B6Y","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0xNVQwOTo1MTo0MS4wMDAwMDBazwAAAANq9B6Y","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0xMlQxMTowODowOC4wMDAwMDBazwAAAANT6c_q"}},"title":"Activity · atomgardner/rst1991"}