{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":275201399,"defaultBranch":"master","name":"apalache","ownerLogin":"Kukovec","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2020-06-26T16:33:33.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/23355223?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1698790835.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"8517ec7eb00f3ff529735b69ea68d53dad77622d","ref":"refs/heads/gh-pages","pushedAt":"2023-10-31T22:20:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: cc0c47ae2b22bc15b669b8c3a7bb8d003d5e8de9","shortMessageHtmlLink":"deploy: cc0c47a"}},{"before":"f27dcd8d57e7e155005a56f28e3ecb7de3d4b631","after":"cc0c47ae2b22bc15b669b8c3a7bb8d003d5e8de9","ref":"refs/heads/master","pushedAt":"2023-10-31T22:20:09.000Z","pushType":"push","commitsCount":4612,"pusher":{"login":"Kukovec","name":null,"path":"/Kukovec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23355223?s=80&v=4"},"commit":{"message":"Merge pull request #2767 from scala-steward/update/commons-io-2.15.0\n\nUpdate commons-io to 2.15.0","shortMessageHtmlLink":"Merge pull request apalache-mc#2767 from scala-steward/update/commons…"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0zMVQyMjoyMDozNS4wMDAwMDBazwAAAAOkdMRG","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0zMVQyMjoyMDozNS4wMDAwMDBazwAAAAOkdMRG","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0zMVQyMjoyMDowOS4wMDAwMDBazwAAAAOkdLEQ"}},"title":"Activity · Kukovec/apalache"}