{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":150689239,"defaultBranch":"develop","name":"dependent-sum-template","ownerLogin":"obsidiansystems","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-09-28T05:17:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11916262?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1701877666.0","currentOid":""},"activityList":{"items":[{"before":"d0e89d81f921829c48333099a992c7bfe40d7f41","after":"846df3885404b3c343453a2aa786eb6433a346d5","ref":"refs/heads/develop","pushedAt":"2024-02-05T22:07:49.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ali-abrar","name":"Ali Abrar","path":"/ali-abrar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7432518?s=80&v=4"},"commit":{"message":"Merge pull request #11 from Vekhir/patch-1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2110869967\" data-permission-text=\"Title is private\" data-url=\"https://github.com/obsidiansystems/dependent-sum-template/issues/11\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/obsidiansystems/dependent-sum-template/pull/11/hovercard\" href=\"https://github.com/obsidiansystems/dependent-sum-template/pull/11\">#11</a> from Vekhir/patch-1"}},{"before":"c6b916a6ebeb9a77fc148e3c6160401d073794fa","after":"d0e89d81f921829c48333099a992c7bfe40d7f41","ref":"refs/heads/master","pushedAt":"2023-12-06T15:47:46.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"Bump version number and add change log entry for new release","shortMessageHtmlLink":"Bump version number and add change log entry for new release"}},{"before":"6c42332497292388758c5677dd60ad91deda7df5","after":"d0e89d81f921829c48333099a992c7bfe40d7f41","ref":"refs/heads/develop","pushedAt":"2023-12-06T15:47:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"Bump version number and add change log entry for new release","shortMessageHtmlLink":"Bump version number and add change log entry for new release"}},{"before":"9a83b0a175ad71be449afb65c3b7900de64fdc0f","after":"c6b916a6ebeb9a77fc148e3c6160401d073794fa","ref":"refs/heads/master","pushedAt":"2023-12-06T15:36:06.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"Merge pull request #6 from obsidiansystems/aa/th-218\n\n Compatibility with template-haskell 2.18-2.20; Drop ghc 9.2 and 9.4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1831975037\" data-permission-text=\"Title is private\" data-url=\"https://github.com/obsidiansystems/dependent-sum-template/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/obsidiansystems/dependent-sum-template/pull/6/hovercard\" href=\"https://github.com/obsidiansystems/dependent-sum-template/pull/6\">#6</a> from obsidiansystems/aa/th-218"}},{"before":"c6b916a6ebeb9a77fc148e3c6160401d073794fa","after":"6c42332497292388758c5677dd60ad91deda7df5","ref":"refs/heads/develop","pushedAt":"2023-12-06T15:25:53.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"Merge pull request #7 from ncfavier/fix-skolem-trick\n\nFix the Skolem trick with GHC ≥ 9.4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1865067117\" data-permission-text=\"Title is private\" data-url=\"https://github.com/obsidiansystems/dependent-sum-template/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/obsidiansystems/dependent-sum-template/pull/7/hovercard\" href=\"https://github.com/obsidiansystems/dependent-sum-template/pull/7\">#7</a> from ncfavier/fix-skolem-trick"}},{"before":null,"after":"107a0f3920f74dfe0383660c3b1677ff5e9ec5ca","ref":"refs/heads/ghc-9.4","pushedAt":"2023-11-20T20:44:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"Merge branch 'develop' into ghc-9.4","shortMessageHtmlLink":"Merge branch 'develop' into ghc-9.4"}},{"before":"107a0f3920f74dfe0383660c3b1677ff5e9ec5ca","after":null,"ref":"refs/heads/ghc-9.4","pushedAt":"2023-11-20T20:43:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"}},{"before":"a1ce14d24927269d4f6b8414ec1382fc724c360b","after":null,"ref":"refs/heads/aa/th-218","pushedAt":"2023-11-20T20:40:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"}},{"before":"9a83b0a175ad71be449afb65c3b7900de64fdc0f","after":"c6b916a6ebeb9a77fc148e3c6160401d073794fa","ref":"refs/heads/develop","pushedAt":"2023-08-02T13:47:46.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"ali-abrar","name":"Ali Abrar","path":"/ali-abrar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7432518?s=80&v=4"},"commit":{"message":"Merge pull request #6 from obsidiansystems/aa/th-218\n\n Compatibility with template-haskell 2.18-2.20; Drop ghc 9.2 and 9.4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1831975037\" data-permission-text=\"Title is private\" data-url=\"https://github.com/obsidiansystems/dependent-sum-template/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/obsidiansystems/dependent-sum-template/pull/6/hovercard\" href=\"https://github.com/obsidiansystems/dependent-sum-template/pull/6\">#6</a> from obsidiansystems/aa/th-218"}},{"before":"66fb40875d1278c0c1aa7481b12975cbfbea7943","after":"a1ce14d24927269d4f6b8414ec1382fc724c360b","ref":"refs/heads/aa/th-218","pushedAt":"2023-08-02T13:25:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ali-abrar","name":"Ali Abrar","path":"/ali-abrar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7432518?s=80&v=4"},"commit":{"message":"Clean up skolemization code\n\nThe \"Unknown\" data type was an attempt to prevent GHC from unifying\nthings incorrectly, but it didn't end up solving the problem on the\nnow-unsupported versions of GHC.","shortMessageHtmlLink":"Clean up skolemization code"}},{"before":"044faecabc428cbfbf78c86b45d01399d3381ed7","after":"66fb40875d1278c0c1aa7481b12975cbfbea7943","ref":"refs/heads/aa/th-218","pushedAt":"2023-08-01T20:15:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ali-abrar","name":"Ali Abrar","path":"/ali-abrar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7432518?s=80&v=4"},"commit":{"message":"Compatibility with template-haskell 2.18-2.20; Drop ghc 9.2 and 9.4 support","shortMessageHtmlLink":"Compatibility with template-haskell 2.18-2.20; Drop ghc 9.2 and 9.4 s…"}},{"before":null,"after":"044faecabc428cbfbf78c86b45d01399d3381ed7","ref":"refs/heads/aa/th-218","pushedAt":"2023-08-01T18:03:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ali-abrar","name":"Ali Abrar","path":"/ali-abrar","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7432518?s=80&v=4"},"commit":{"message":"ci: update github workflow","shortMessageHtmlLink":"ci: update github workflow"}},{"before":null,"after":"2204b5dbb8eec475b4b8db4b2ef51c761bfdf209","ref":"refs/heads/release/0.1.2.0","pushedAt":"2023-07-11T22:38:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"Merge pull request #3 from obsidiansystems/develop\n\nRelease 0.1.2.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1799517181\" data-permission-text=\"Title is private\" data-url=\"https://github.com/obsidiansystems/dependent-sum-template/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/obsidiansystems/dependent-sum-template/pull/3/hovercard\" href=\"https://github.com/obsidiansystems/dependent-sum-template/pull/3\">#3</a> from obsidiansystems/develop"}},{"before":"9c9dde9a4a7ee7d7d7e555fa8931b66a5c2bd6b4","after":"107a0f3920f74dfe0383660c3b1677ff5e9ec5ca","ref":"refs/heads/ghc-9.4","pushedAt":"2023-07-11T22:38:06.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"Merge branch 'develop' into ghc-9.4","shortMessageHtmlLink":"Merge branch 'develop' into ghc-9.4"}},{"before":"c994427479eb06a2f9c50091ca3c3b60f6d4345a","after":null,"ref":"refs/heads/read-me","pushedAt":"2023-07-11T22:37:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"}},{"before":"d05995c05d62751817c3d75f86ac345b16d529be","after":"9a83b0a175ad71be449afb65c3b7900de64fdc0f","ref":"refs/heads/develop","pushedAt":"2023-07-11T22:37:37.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"Merge pull request #4 from obsidiansystems/better-internal-module-name\n\nBetter internal module name","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1799832405\" data-permission-text=\"Title is private\" data-url=\"https://github.com/obsidiansystems/dependent-sum-template/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/obsidiansystems/dependent-sum-template/pull/4/hovercard\" href=\"https://github.com/obsidiansystems/dependent-sum-template/pull/4\">#4</a> from obsidiansystems/better-internal-module-name"}},{"before":"62c3aeec1fc4e054b7372dfb618c6d23831fadc1","after":null,"ref":"refs/heads/better-internal-module-name","pushedAt":"2023-07-11T22:32:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"}},{"before":"2204b5dbb8eec475b4b8db4b2ef51c761bfdf209","after":"9a83b0a175ad71be449afb65c3b7900de64fdc0f","ref":"refs/heads/master","pushedAt":"2023-07-11T22:32:32.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"Merge pull request #4 from obsidiansystems/better-internal-module-name\n\nBetter internal module name","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1799832405\" data-permission-text=\"Title is private\" data-url=\"https://github.com/obsidiansystems/dependent-sum-template/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/obsidiansystems/dependent-sum-template/pull/4/hovercard\" href=\"https://github.com/obsidiansystems/dependent-sum-template/pull/4\">#4</a> from obsidiansystems/better-internal-module-name"}},{"before":null,"after":"62c3aeec1fc4e054b7372dfb618c6d23831fadc1","ref":"refs/heads/better-internal-module-name","pushedAt":"2023-07-11T22:15:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"Better internal module name\n\nSince this library has nothing to do with `DSum` anymore.","shortMessageHtmlLink":"Better internal module name"}},{"before":"083dd56f4a850840d00f9ee6d4812c4d07ede29c","after":"9c9dde9a4a7ee7d7d7e555fa8931b66a5c2bd6b4","ref":"refs/heads/ghc-9.4","pushedAt":"2023-07-11T19:30:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"Include GHC 9.6 too\n\n9.4 and 9.6 are broken in the same way, so might as well.","shortMessageHtmlLink":"Include GHC 9.6 too"}},{"before":"c93e83bbc721a679182c0cd9f2a2fe20a6c79e40","after":"083dd56f4a850840d00f9ee6d4812c4d07ede29c","ref":"refs/heads/ghc-9.4","pushedAt":"2023-07-11T19:11:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"Fix build with newer GHC, add some bounds","shortMessageHtmlLink":"Fix build with newer GHC, add some bounds"}},{"before":"bb883209accedd5089087ed17b06ac35f9469887","after":"2204b5dbb8eec475b4b8db4b2ef51c761bfdf209","ref":"refs/heads/master","pushedAt":"2023-07-11T18:32:28.000Z","pushType":"pr_merge","commitsCount":22,"pusher":{"login":"cgibbard","name":null,"path":"/cgibbard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7033452?s=80&v=4"},"commit":{"message":"Merge pull request #3 from obsidiansystems/develop\n\nRelease 0.1.2.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1799517181\" data-permission-text=\"Title is private\" data-url=\"https://github.com/obsidiansystems/dependent-sum-template/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/obsidiansystems/dependent-sum-template/pull/3/hovercard\" href=\"https://github.com/obsidiansystems/dependent-sum-template/pull/3\">#3</a> from obsidiansystems/develop"}},{"before":null,"after":"c93e83bbc721a679182c0cd9f2a2fe20a6c79e40","ref":"refs/heads/ghc-9.4","pushedAt":"2023-07-11T18:19:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"ghc 9.4","shortMessageHtmlLink":"ghc 9.4"}},{"before":"847d178795f139589d531425ddea40225cc8d90e","after":"bb883209accedd5089087ed17b06ac35f9469887","ref":"refs/heads/master","pushedAt":"2023-07-11T18:11:19.000Z","pushType":"push","commitsCount":37,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"Fix date in change log","shortMessageHtmlLink":"Fix date in change log"}},{"before":"72a7781351b121e9b49bea1a8380cc4c69fb6672","after":"d05995c05d62751817c3d75f86ac345b16d529be","ref":"refs/heads/develop","pushedAt":"2023-07-11T18:09:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"Change repo URLS back to `.../dependent-sum-template`","shortMessageHtmlLink":"Change repo URLS back to <code>.../dependent-sum-template</code>"}},{"before":"51f6adbddc091d449eb6a0127371366caf3f7e85","after":"72a7781351b121e9b49bea1a8380cc4c69fb6672","ref":"refs/heads/develop","pushedAt":"2023-07-11T18:04:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"cgibbard","name":null,"path":"/cgibbard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7033452?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/read-me' into develop","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/read-me' into develop"}},{"before":"8d87e3cf0d0aef4d9f02f2e3e195dcd0228e6864","after":"c994427479eb06a2f9c50091ca3c3b60f6d4345a","ref":"refs/heads/read-me","pushedAt":"2023-07-11T18:03:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Ericson2314","name":"John Ericson","path":"/Ericson2314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1055245?s=80&v=4"},"commit":{"message":"Add Read-Me\n\nThis is based on the read-me for `dependent-sum`, which is the only one\nwe had.","shortMessageHtmlLink":"Add Read-Me"}},{"before":"e788fced0c6862bb8f7de30c0957890b1748e065","after":"51f6adbddc091d449eb6a0127371366caf3f7e85","ref":"refs/heads/develop","pushedAt":"2023-07-11T18:03:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cgibbard","name":null,"path":"/cgibbard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7033452?s=80&v=4"},"commit":{"message":"About to release 0.1.2.0 not 0.2.0.0","shortMessageHtmlLink":"About to release 0.1.2.0 not 0.2.0.0"}},{"before":"8dce3d1f8385be77df1b90860d9fa44730cd22bf","after":"e788fced0c6862bb8f7de30c0957890b1748e065","ref":"refs/heads/develop","pushedAt":"2023-07-11T18:00:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cgibbard","name":null,"path":"/cgibbard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7033452?s=80&v=4"},"commit":{"message":"Further improve tests","shortMessageHtmlLink":"Further improve tests"}},{"before":"b787bc06365ef33dfa31b380859b7ac7d8fd7ce7","after":"8dce3d1f8385be77df1b90860d9fa44730cd22bf","ref":"refs/heads/develop","pushedAt":"2023-07-11T17:55:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"cgibbard","name":null,"path":"/cgibbard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7033452?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/develop' into develop","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/develop' into develop"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0wNVQyMjowNzo0OS4wMDAwMDBazwAAAAPyvw4o","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0wNVQyMjowNzo0OS4wMDAwMDBazwAAAAPyvw4o","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0xMVQxNzo1NTo0Ny4wMDAwMDBazwAAAANTX6__"}},"title":"Activity · obsidiansystems/dependent-sum-template"}