{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":352542390,"defaultBranch":"master","name":"www.matching-logic.org","ownerLogin":"Formal-Systems-Laboratory","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-03-29T06:43:17.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12419182?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1689355578.0","currentOid":""},"activityList":{"items":[{"before":"50a5c636ab3d5c648d0d8b8274bdfa9955013a68","after":"0ca575fb5b56d067938bd462582d98fdc81a10ae","ref":"refs/heads/master","pushedAt":"2024-07-09T20:29:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"nishantjr","name":"Nishant Rodrigues","path":"/nishantjr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/634885?s=80&v=4"},"commit":{"message":"Update _config.yaml (#4)","shortMessageHtmlLink":"Update _config.yaml (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2399151893\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Formal-Systems-Laboratory/www.matching-logic.org/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Formal-Systems-Laboratory/www.matching-logic.org/pull/4/hovercard\" href=\"https://github.com/Formal-Systems-Laboratory/www.matching-logic.org/pull/4\">#4</a>)"}},{"before":"a77631a1771c56beb9b0c8cf7a9f598aa76692a1","after":"50a5c636ab3d5c648d0d8b8274bdfa9955013a68","ref":"refs/heads/master","pushedAt":"2024-07-09T20:04:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"nishantjr","name":"Nishant Rodrigues","path":"/nishantjr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/634885?s=80&v=4"},"commit":{"message":"Reformatting for MatchingLogic.org (#3)\n\nVery few edits to the text have been made, but the formatting has been changed, tables added and footnotes for the descriptions of papers. Minor order changes have also been made in the text.","shortMessageHtmlLink":"Reformatting for MatchingLogic.org (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2399095123\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Formal-Systems-Laboratory/www.matching-logic.org/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Formal-Systems-Laboratory/www.matching-logic.org/pull/3/hovercard\" href=\"https://github.com/Formal-Systems-Laboratory/www.matching-logic.org/pull/3\">#3</a>)"}},{"before":"002620e80982a8e49286129859dc103196ec4312","after":"06d6915e178f5e880b7ed4176a87e6ae99fa6848","ref":"refs/heads/matching-logic-book","pushedAt":"2023-07-14T17:27:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nishantjr","name":"Nishant Rodrigues","path":"/nishantjr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/634885?s=80&v=4"},"commit":{"message":"Add building instructions","shortMessageHtmlLink":"Add building instructions"}},{"before":null,"after":"002620e80982a8e49286129859dc103196ec4312","ref":"refs/heads/matching-logic-book","pushedAt":"2023-07-14T17:26:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nishantjr","name":"Nishant Rodrigues","path":"/nishantjr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/634885?s=80&v=4"},"commit":{"message":"Initial build system for book","shortMessageHtmlLink":"Initial build system for book"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wOVQyMDoyOTowMi4wMDAwMDBazwAAAAR7Eq0a","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wOVQyMDoyOTowMi4wMDAwMDBazwAAAAR7Eq0a","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0xNFQxNzoyNjoxOC4wMDAwMDBazwAAAANV0Iwz"}},"title":"Activity · Formal-Systems-Laboratory/www.matching-logic.org"}