{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":697706872,"defaultBranch":"main","name":"math-lm","ownerLogin":"marco-dossantos","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-09-28T10:00:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/92208507?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1695895693.0","currentOid":""},"activityList":{"items":[{"before":"f401a2b3b2b48b64d4083dd5fc36b9f1ed3ffd8a","after":"f7cfe7a5cde8fe1008c10a72513a0cb1c77cc35f","ref":"refs/heads/isabelle_proofsteps","pushedAt":"2023-09-28T10:42:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marco-dossantos","name":"Marco Dos Santos","path":"/marco-dossantos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92208507?s=80&v=4"},"commit":{"message":"Fix README.md","shortMessageHtmlLink":"Fix README.md"}},{"before":"77a6959a2281c3cb0b481f27c1f95f2f792ae6f5","after":"f401a2b3b2b48b64d4083dd5fc36b9f1ed3ffd8a","ref":"refs/heads/isabelle_proofsteps","pushedAt":"2023-09-28T10:40:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marco-dossantos","name":"Marco Dos Santos","path":"/marco-dossantos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92208507?s=80&v=4"},"commit":{"message":"Instructions to run process_isabelle_proofsteps.py","shortMessageHtmlLink":"Instructions to run process_isabelle_proofsteps.py"}},{"before":null,"after":"77a6959a2281c3cb0b481f27c1f95f2f792ae6f5","ref":"refs/heads/isabelle_proofsteps","pushedAt":"2023-09-28T10:08:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marco-dossantos","name":"Marco Dos Santos","path":"/marco-dossantos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92208507?s=80&v=4"},"commit":{"message":"Isabelle Proofsteps","shortMessageHtmlLink":"Isabelle Proofsteps"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADiuGsoAA","startCursor":null,"endCursor":null}},"title":"Activity · marco-dossantos/math-lm"}