{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":2386778,"defaultBranch":"master","name":"Idris-dev","ownerLogin":"idris-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2011-09-14T16:55:49.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5552910?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1634943158.138666","currentOid":""},"activityList":{"items":[{"before":"ea8ce2ed55591dbc3a5b985b5a15c52787bff194","after":"cf78f0fb337d50f4f0dba235b6bbe67030f1ff47","ref":"refs/heads/master","pushedAt":"2024-01-02T20:47:46.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"melted","name":"Niklas Larsson","path":"/melted","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/219997?s=80&v=4"},"commit":{"message":"Merge pull request #4926 from Vekhir/patch-1\n\nUpdate dependencies for GHC 9.6","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2062453894\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris-dev/issues/4926\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris-dev/pull/4926/hovercard\" href=\"https://github.com/idris-lang/Idris-dev/pull/4926\">#4926</a> from Vekhir/patch-1"}},{"before":"80fa67e719d9ae69cec01ca94cb0183268d0eb72","after":"ea8ce2ed55591dbc3a5b985b5a15c52787bff194","ref":"refs/heads/master","pushedAt":"2023-12-30T10:17:52.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"melted","name":"Niklas Larsson","path":"/melted","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/219997?s=80&v=4"},"commit":{"message":"Merge pull request #4925 from Vekhir/support-mtl2.3\n\nSupport mtl 2.3","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2045188463\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris-dev/issues/4925\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris-dev/pull/4925/hovercard\" href=\"https://github.com/idris-lang/Idris-dev/pull/4925\">#4925</a> from Vekhir/support-mtl2.3"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD1kvHaAA","startCursor":null,"endCursor":null}},"title":"Activity · idris-lang/Idris-dev"}