{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":189169918,"defaultBranch":"master","name":"tutorials","ownerLogin":"leanprover-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-05-29T07:07:58.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/41703605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1672061298.225525","currentOid":""},"activityList":{"items":[{"before":"43607334ee7c7629f70318431e3e30d08faf91b9","after":"cf6d067632cedda813d880eaf730324d021c653e","ref":"refs/heads/master","pushedAt":"2023-10-10T21:19:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"PatrickMassot","name":"Patrick Massot","path":"/PatrickMassot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14060883?s=80&v=4"},"commit":{"message":"Patch 1 (#40)\n\nhow to type angle brackets","shortMessageHtmlLink":"Patch 1 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1019301332\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/tutorials/issues/40\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/tutorials/pull/40/hovercard\" href=\"https://github.com/leanprover-community/tutorials/pull/40\">#40</a>)"}},{"before":"79a6872a755c4ae0c2aca57e1adfdac38b1d8bb1","after":"43607334ee7c7629f70318431e3e30d08faf91b9","ref":"refs/heads/master","pushedAt":"2023-10-10T17:01:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PatrickMassot","name":"Patrick Massot","path":"/PatrickMassot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14060883?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADlAZAvgA","startCursor":null,"endCursor":null}},"title":"Activity · leanprover-community/tutorials"}