{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":20808540,"defaultBranch":"master","name":"Idris-dev","ownerLogin":"mmhat","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2014-06-13T15:24:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5009522?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1719248515.0","currentOid":""},"activityList":{"items":[{"before":"f98d1383e2dd8c06e6d1fa8a6d76f9e6e439e28e","after":null,"ref":"refs/heads/unification-fix","pushedAt":"2024-06-24T17:01:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"}},{"before":"fb3c24cc683e518a79fb2614e5ab0a6e21d5eea2","after":null,"ref":"refs/heads/typed-laziness","pushedAt":"2024-06-24T17:01:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"}},{"before":"801aa8347a389190b3b959cfe15f0752e74fbe90","after":null,"ref":"refs/heads/type-inference","pushedAt":"2024-06-24T17:01:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"}},{"before":"3dfa84136648304b330787139b180a55d1454250","after":null,"ref":"refs/heads/text-names","pushedAt":"2024-06-24T17:01:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"}},{"before":"dc72d9eac6a19e89f7940cebed5d63cafd0ce6ec","after":null,"ref":"refs/heads/sockets","pushedAt":"2024-06-24T17:01:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"}},{"before":"f185e636b4b7293140c19779d385bffd9846fb23","after":null,"ref":"refs/heads/implicit-bind","pushedAt":"2024-06-24T17:01:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"}},{"before":"66f4f9ea8624996065cde6abcc4358a4f1ae96f9","after":null,"ref":"refs/heads/case-splitter","pushedAt":"2024-06-24T17:01:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"}},{"before":"f1f13fc38ff8d1db59a74ed712ce94aea6874b44","after":null,"ref":"refs/heads/bananas","pushedAt":"2024-06-24T17:01:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"}},{"before":"80fa67e719d9ae69cec01ca94cb0183268d0eb72","after":"d3ea2cf9ab7d2e13363d5e7d6121d813dec04b10","ref":"refs/heads/master","pushedAt":"2024-06-24T15:22:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"},"commit":{"message":"Update dependencies\n\nBuilds and tests fine with GHC 9.6.3\r\n`custom-setup` hasn't been tested, so no change there.","shortMessageHtmlLink":"Update dependencies"}},{"before":"ae98085b87a4fe16601ca247de8be0f4fd54a4d1","after":"80fa67e719d9ae69cec01ca94cb0183268d0eb72","ref":"refs/heads/master","pushedAt":"2023-04-02T17:15:30.000Z","pushType":"push","commitsCount":40,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"},"commit":{"message":"Merge pull request #4922 from felixonmars/patch-2\n\nAllow fsnotify 0.4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1571642368\" data-permission-text=\"Title is private\" data-url=\"https://github.com/idris-lang/Idris-dev/issues/4922\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/idris-lang/Idris-dev/pull/4922/hovercard\" href=\"https://github.com/idris-lang/Idris-dev/pull/4922\">idris-lang#4922</a> from felixonmars/patch-2"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yNFQxNzowMTo1NS4wMDAwMDBazwAAAARtwuTX","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yNFQxNzowMTo1NS4wMDAwMDBazwAAAARtwuTX","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0wMlQxNzoxNTozMC4wMDAwMDBazwAAAAMQfFhJ"}},"title":"Activity · mmhat/Idris-dev"}