{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":155735042,"defaultBranch":"master","name":"dot-iris","ownerLogin":"Blaisorblade","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-11-01T15:21:51.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/289960?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1724359797.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"6e23a1d2e2d1420c0bbe56f062bc2df126a8c1d9","ref":"refs/heads/dependabot/bundler/website/rexml-3.3.6","pushedAt":"2024-08-22T20:49:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps): bump rexml from 3.3.3 to 3.3.6 in /website\n\nBumps [rexml](https://github.com/ruby/rexml) from 3.3.3 to 3.3.6.\n- [Release notes](https://github.com/ruby/rexml/releases)\n- [Changelog](https://github.com/ruby/rexml/blob/master/NEWS.md)\n- [Commits](https://github.com/ruby/rexml/compare/v3.3.3...v3.3.6)\n\n---\nupdated-dependencies:\n- dependency-name: rexml\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps): bump rexml from 3.3.3 to 3.3.6 in /website"}},{"before":"14a91388f64fe4ad85b3ac24111583e540039bfc","after":null,"ref":"refs/heads/dependabot/bundler/website/rexml-3.3.3","pushedAt":"2024-08-04T00:56:36.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"}},{"before":"3dfb961c6f2cc129a6534c6917f4fb3a05dad8f2","after":"6bb255ed122966d165ccde7ad837102a13a0a25d","ref":"refs/heads/master","pushedAt":"2024-08-04T00:56:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"},"commit":{"message":"Merge pull request #451 from Blaisorblade/dependabot/bundler/website/rexml-3.3.3\n\nbuild(deps): bump rexml from 3.2.8 to 3.3.3 in /website","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2445373927\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Blaisorblade/dot-iris/issues/451\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Blaisorblade/dot-iris/pull/451/hovercard\" href=\"https://github.com/Blaisorblade/dot-iris/pull/451\">#451</a> from Blaisorblade/dependabot/bundler/website/…"}},{"before":null,"after":"14a91388f64fe4ad85b3ac24111583e540039bfc","ref":"refs/heads/dependabot/bundler/website/rexml-3.3.3","pushedAt":"2024-08-02T16:37:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps): bump rexml from 3.2.8 to 3.3.3 in /website\n\nBumps [rexml](https://github.com/ruby/rexml) from 3.2.8 to 3.3.3.\n- [Release notes](https://github.com/ruby/rexml/releases)\n- [Changelog](https://github.com/ruby/rexml/blob/master/NEWS.md)\n- [Commits](https://github.com/ruby/rexml/compare/v3.2.8...v3.3.3)\n\n---\nupdated-dependencies:\n- dependency-name: rexml\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps): bump rexml from 3.2.8 to 3.3.3 in /website"}},{"before":"9e232d6e105a38217b892fc25dc451d58f57ea71","after":"3dfb961c6f2cc129a6534c6917f4fb3a05dad8f2","ref":"refs/heads/master","pushedAt":"2024-05-19T07:05:37.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"},"commit":{"message":"Merge pull request #450 from Blaisorblade/dependabot/bundler/website/rexml-3.2.8\n\nbuild(deps): bump rexml from 3.2.5 to 3.2.8 in /website","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2301116035\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Blaisorblade/dot-iris/issues/450\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Blaisorblade/dot-iris/pull/450/hovercard\" href=\"https://github.com/Blaisorblade/dot-iris/pull/450\">#450</a> from Blaisorblade/dependabot/bundler/website/…"}},{"before":"283b2cb11b531fb870a0301f2b7955f7ad2e8fb6","after":null,"ref":"refs/heads/dependabot/bundler/website/rexml-3.2.8","pushedAt":"2024-05-19T07:05:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"}},{"before":"ae3ce4b939fbdd7e828db67198d80a899fada438","after":"9e232d6e105a38217b892fc25dc451d58f57ea71","ref":"refs/heads/master","pushedAt":"2024-05-19T07:05:19.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"},"commit":{"message":"Merge pull request #449 from Blaisorblade/dependabot/bundler/website/nokogiri-1.16.5\n\nbuild(deps-dev): bump nokogiri from 1.16.2 to 1.16.5 in /website","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2294029753\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Blaisorblade/dot-iris/issues/449\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Blaisorblade/dot-iris/pull/449/hovercard\" href=\"https://github.com/Blaisorblade/dot-iris/pull/449\">#449</a> from Blaisorblade/dependabot/bundler/website/…"}},{"before":"08e0b24978c3f777f0684cee2c01644ce9526f76","after":null,"ref":"refs/heads/dependabot/bundler/website/nokogiri-1.16.5","pushedAt":"2024-05-19T07:05:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"}},{"before":null,"after":"283b2cb11b531fb870a0301f2b7955f7ad2e8fb6","ref":"refs/heads/dependabot/bundler/website/rexml-3.2.8","pushedAt":"2024-05-16T18:52:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps): bump rexml from 3.2.5 to 3.2.8 in /website\n\nBumps [rexml](https://github.com/ruby/rexml) from 3.2.5 to 3.2.8.\n- [Release notes](https://github.com/ruby/rexml/releases)\n- [Changelog](https://github.com/ruby/rexml/blob/master/NEWS.md)\n- [Commits](https://github.com/ruby/rexml/compare/v3.2.5...v3.2.8)\n\n---\nupdated-dependencies:\n- dependency-name: rexml\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps): bump rexml from 3.2.5 to 3.2.8 in /website"}},{"before":null,"after":"08e0b24978c3f777f0684cee2c01644ce9526f76","ref":"refs/heads/dependabot/bundler/website/nokogiri-1.16.5","pushedAt":"2024-05-13T23:40:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps-dev): bump nokogiri from 1.16.2 to 1.16.5 in /website\n\nBumps [nokogiri](https://github.com/sparklemotion/nokogiri) from 1.16.2 to 1.16.5.\n- [Release notes](https://github.com/sparklemotion/nokogiri/releases)\n- [Changelog](https://github.com/sparklemotion/nokogiri/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/sparklemotion/nokogiri/compare/v1.16.2...v1.16.5)\n\n---\nupdated-dependencies:\n- dependency-name: nokogiri\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps-dev): bump nokogiri from 1.16.2 to 1.16.5 in /website"}},{"before":"2074f9c68320ecd4c9bb3b1d84deafe744abc8ca","after":null,"ref":"refs/heads/dependabot/bundler/website/nokogiri-1.16.2","pushedAt":"2024-02-12T02:14:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"}},{"before":"73bf413a21c451b87b19e2186ead0f895b67cb29","after":"ae3ce4b939fbdd7e828db67198d80a899fada438","ref":"refs/heads/master","pushedAt":"2024-02-12T02:14:18.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"},"commit":{"message":"Merge pull request #448 from Blaisorblade/dependabot/bundler/website/nokogiri-1.16.2\n\nbuild(deps-dev): bump nokogiri from 1.14.3 to 1.16.2 in /website","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2119878360\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Blaisorblade/dot-iris/issues/448\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Blaisorblade/dot-iris/pull/448/hovercard\" href=\"https://github.com/Blaisorblade/dot-iris/pull/448\">#448</a> from Blaisorblade/dependabot/bundler/website/…"}},{"before":null,"after":"2074f9c68320ecd4c9bb3b1d84deafe744abc8ca","ref":"refs/heads/dependabot/bundler/website/nokogiri-1.16.2","pushedAt":"2024-02-06T03:30:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps-dev): bump nokogiri from 1.14.3 to 1.16.2 in /website\n\nBumps [nokogiri](https://github.com/sparklemotion/nokogiri) from 1.14.3 to 1.16.2.\n- [Release notes](https://github.com/sparklemotion/nokogiri/releases)\n- [Changelog](https://github.com/sparklemotion/nokogiri/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/sparklemotion/nokogiri/compare/v1.14.3...v1.16.2)\n\n---\nupdated-dependencies:\n- dependency-name: nokogiri\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps-dev): bump nokogiri from 1.14.3 to 1.16.2 in /website"}},{"before":"887b1a15709309d5c30ed757e2c6bd1ab7f1de4d","after":null,"ref":"refs/heads/dependabot/bundler/website/activesupport-7.0.7.2","pushedAt":"2023-08-24T08:37:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"}},{"before":"d185ab1577f6fef802fa53afb10077946b3fde20","after":"73bf413a21c451b87b19e2186ead0f895b67cb29","ref":"refs/heads/master","pushedAt":"2023-08-24T08:37:06.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"},"commit":{"message":"Merge pull request #447 from Blaisorblade/dependabot/bundler/website/activesupport-7.0.7.2\n\nbuild(deps-dev): bump activesupport from 7.0.4.3 to 7.0.7.2 in /website","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1864055357\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Blaisorblade/dot-iris/issues/447\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Blaisorblade/dot-iris/pull/447/hovercard\" href=\"https://github.com/Blaisorblade/dot-iris/pull/447\">#447</a> from Blaisorblade/dependabot/bundler/website/…"}},{"before":null,"after":"887b1a15709309d5c30ed757e2c6bd1ab7f1de4d","ref":"refs/heads/dependabot/bundler/website/activesupport-7.0.7.2","pushedAt":"2023-08-23T21:41:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps-dev): bump activesupport from 7.0.4.3 to 7.0.7.2 in /website\n\nBumps [activesupport](https://github.com/rails/rails) from 7.0.4.3 to 7.0.7.2.\n- [Release notes](https://github.com/rails/rails/releases)\n- [Changelog](https://github.com/rails/rails/blob/v7.0.7.2/activesupport/CHANGELOG.md)\n- [Commits](https://github.com/rails/rails/compare/v7.0.4.3...v7.0.7.2)\n\n---\nupdated-dependencies:\n- dependency-name: activesupport\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps-dev): bump activesupport from 7.0.4.3 to 7.0.7.2 in /website"}},{"before":"21de23b830bee802cab67c35431da62b45de092a","after":null,"ref":"refs/heads/dependabot/bundler/website/commonmarker-0.23.10","pushedAt":"2023-08-09T21:34:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"}},{"before":"160a566ab73f31e5035f071f3535a5e7275c16d0","after":"d185ab1577f6fef802fa53afb10077946b3fde20","ref":"refs/heads/master","pushedAt":"2023-08-09T21:34:41.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"},"commit":{"message":"Merge pull request #446 from Blaisorblade/dependabot/bundler/website/commonmarker-0.23.10\n\nbuild(deps-dev): bump commonmarker from 0.23.9 to 0.23.10 in /website","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1842043119\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Blaisorblade/dot-iris/issues/446\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Blaisorblade/dot-iris/pull/446/hovercard\" href=\"https://github.com/Blaisorblade/dot-iris/pull/446\">#446</a> from Blaisorblade/dependabot/bundler/website/…"}},{"before":null,"after":"21de23b830bee802cab67c35431da62b45de092a","ref":"refs/heads/dependabot/bundler/website/commonmarker-0.23.10","pushedAt":"2023-08-08T20:24:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps-dev): bump commonmarker from 0.23.9 to 0.23.10 in /website\n\nBumps [commonmarker](https://github.com/gjtorikian/commonmarker) from 0.23.9 to 0.23.10.\n- [Release notes](https://github.com/gjtorikian/commonmarker/releases)\n- [Changelog](https://github.com/gjtorikian/commonmarker/blob/v0.23.10/CHANGELOG.md)\n- [Commits](https://github.com/gjtorikian/commonmarker/compare/v0.23.9...v0.23.10)\n\n---\nupdated-dependencies:\n- dependency-name: commonmarker\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps-dev): bump commonmarker from 0.23.9 to 0.23.10 in /website"}},{"before":"18389f5400041a96c55d49c250fe752253d493f0","after":null,"ref":"refs/heads/test-coq-8.16-8.17","pushedAt":"2023-05-07T19:32:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"}},{"before":"0648b3c732cda62322c89fb5b9996685c86c1847","after":"160a566ab73f31e5035f071f3535a5e7275c16d0","ref":"refs/heads/master","pushedAt":"2023-05-07T19:32:55.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"},"commit":{"message":"Merge pull request #444 from Blaisorblade/test-coq-8.16-8.17\n\nAlso test on Coq 8.16/8.17.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1699093691\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Blaisorblade/dot-iris/issues/444\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Blaisorblade/dot-iris/pull/444/hovercard\" href=\"https://github.com/Blaisorblade/dot-iris/pull/444\">#444</a> from Blaisorblade/test-coq-8.16-8.17"}},{"before":"18389f5400041a96c55d49c250fe752253d493f0","after":null,"ref":"refs/heads/paolo/test-coq-8.16-8.17","pushedAt":"2023-05-07T14:39:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"}},{"before":null,"after":"18389f5400041a96c55d49c250fe752253d493f0","ref":"refs/heads/test-coq-8.16-8.17","pushedAt":"2023-05-07T14:39:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"},"commit":{"message":"Also test on Coq 8.16/8.17.\n\nView with `git show -C`.","shortMessageHtmlLink":"Also test on Coq 8.16/8.17."}},{"before":null,"after":"18389f5400041a96c55d49c250fe752253d493f0","ref":"refs/heads/paolo/test-coq-8.16-8.17","pushedAt":"2023-05-07T14:39:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"},"commit":{"message":"Also test on Coq 8.16/8.17.\n\nView with `git show -C`.","shortMessageHtmlLink":"Also test on Coq 8.16/8.17."}},{"before":"407b4496616d5d016e1485007a5d031720b9f460","after":null,"ref":"refs/heads/iris4","pushedAt":"2023-05-07T14:27:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"}},{"before":"a3c2f09a9164b666332947482f4b06976617d0a5","after":"0648b3c732cda62322c89fb5b9996685c86c1847","ref":"refs/heads/master","pushedAt":"2023-05-07T14:27:04.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"},"commit":{"message":"Merge pull request #424 from Blaisorblade/iris4\n\nBump to Iris 4.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1353286007\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Blaisorblade/dot-iris/issues/424\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Blaisorblade/dot-iris/pull/424/hovercard\" href=\"https://github.com/Blaisorblade/dot-iris/pull/424\">#424</a> from Blaisorblade/iris4"}},{"before":null,"after":"1c57b397e7b260e3221134b7f9eb01b9d5c5a591","ref":"refs/heads/iris-master","pushedAt":"2023-05-07T14:23:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"},"commit":{"message":"Port to Iris 4.1: Changes about generalized step-indexes","shortMessageHtmlLink":"Port to Iris 4.1: Changes about generalized step-indexes"}},{"before":"48e1320fe536c0537d9b24b455b9eaf7b3b1909b","after":null,"ref":"refs/heads/persistence-back","pushedAt":"2023-05-07T14:21:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"}},{"before":"8189147df847bfcf0fc83a9d764041fe7b9d34e4","after":"a3c2f09a9164b666332947482f4b06976617d0a5","ref":"refs/heads/master","pushedAt":"2023-05-07T14:21:44.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"},"commit":{"message":"Merge pull request #421 from Blaisorblade/persistence-back\n\nUse explicit persistence again","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1352852513\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Blaisorblade/dot-iris/issues/421\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Blaisorblade/dot-iris/pull/421/hovercard\" href=\"https://github.com/Blaisorblade/dot-iris/pull/421\">#421</a> from Blaisorblade/persistence-back"}},{"before":"65c296975d7f1f1ffbaa3c92f899c35fb0b60397","after":"407b4496616d5d016e1485007a5d031720b9f460","ref":"refs/heads/iris4","pushedAt":"2023-05-07T14:19:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Blaisorblade","name":"Paolo G. Giarrusso","path":"/Blaisorblade","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/289960?s=80&v=4"},"commit":{"message":"Commented out experiments with Iris 4","shortMessageHtmlLink":"Commented out experiments with Iris 4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEobbkyAA","startCursor":null,"endCursor":null}},"title":"Activity · Blaisorblade/dot-iris"}