{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":298791469,"defaultBranch":"main","name":"scilla","ownerLogin":"edoardottt","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-09-26T10:36:09.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35783570?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1715870618.0","currentOid":""},"activityList":{"items":[{"before":"67d85dfcfeec0eaa7396e36c94dff5616934fe91","after":"b8bd1910acb4c29f8a1a339b36ab83aec0995915","ref":"refs/heads/devel","pushedAt":"2024-06-02T08:39:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"fix nilness condition","shortMessageHtmlLink":"fix nilness condition"}},{"before":"5a7c36c3ee0cc1db7e2b4e5184f34fc1a1f94a86","after":"90fbc92c0d4ac65091e9454f20d756034b24af21","ref":"refs/heads/main","pushedAt":"2024-05-16T14:44:00.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Merge pull request #143 from edoardottt/devel\n\n Devel update","shortMessageHtmlLink":"Merge pull request #143 from edoardottt/devel"}},{"before":"8f99389384d1b7737c8d4a23782c5cd5c65b5599","after":null,"ref":"refs/heads/dependabot/go_modules/devel/github.com/fatih/color-1.17.0","pushedAt":"2024-05-16T14:43:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"}},{"before":"fbf9b386e03a6ce74d3a76a2f789e89e0d387bd3","after":"67d85dfcfeec0eaa7396e36c94dff5616934fe91","ref":"refs/heads/devel","pushedAt":"2024-05-16T14:43:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Merge pull request #142 from edoardottt/dependabot/go_modules/devel/github.com/fatih/color-1.17.0\n\nchore(deps): bump github.com/fatih/color from 1.16.0 to 1.17.0","shortMessageHtmlLink":"Merge pull request #142 from edoardottt/dependabot/go_modules/devel/g…"}},{"before":null,"after":"8f99389384d1b7737c8d4a23782c5cd5c65b5599","ref":"refs/heads/dependabot/go_modules/devel/github.com/fatih/color-1.17.0","pushedAt":"2024-05-13T20:29:18.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":"chore(deps): bump github.com/fatih/color from 1.16.0 to 1.17.0\n\nBumps [github.com/fatih/color](https://github.com/fatih/color) from 1.16.0 to 1.17.0.\n- [Release notes](https://github.com/fatih/color/releases)\n- [Commits](https://github.com/fatih/color/compare/v1.16.0...v1.17.0)\n\n---\nupdated-dependencies:\n- dependency-name: github.com/fatih/color\n dependency-type: direct:production\n update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"chore(deps): bump github.com/fatih/color from 1.16.0 to 1.17.0"}},{"before":"de52e88a9948b9391ed57ca7c09547fc16ff2bd7","after":"5a7c36c3ee0cc1db7e2b4e5184f34fc1a1f94a86","ref":"refs/heads/main","pushedAt":"2024-05-07T14:42:32.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Merge pull request #141 from edoardottt/devel\n\nDevel update","shortMessageHtmlLink":"Merge pull request #141 from edoardottt/devel"}},{"before":"b69ec27c1041b81e83a69522f8ab4cdf2d49d396","after":"fbf9b386e03a6ce74d3a76a2f789e89e0d387bd3","ref":"refs/heads/devel","pushedAt":"2024-05-07T14:42:26.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Merge branch 'main' into devel","shortMessageHtmlLink":"Merge branch 'main' into devel"}},{"before":"750b44db2c8d5ef933764a34f6a96b8d7bd71fe7","after":null,"ref":"refs/heads/dependabot/go_modules/devel/github.com/PuerkitoBio/goquery-1.9.2","pushedAt":"2024-05-07T14:41:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"}},{"before":"86aac8595d4b5be7e4baf74cecd2edbff76dec1f","after":"b69ec27c1041b81e83a69522f8ab4cdf2d49d396","ref":"refs/heads/devel","pushedAt":"2024-05-07T14:41:26.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Merge pull request #140 from edoardottt/dependabot/go_modules/devel/github.com/PuerkitoBio/goquery-1.9.2\n\nchore(deps): bump github.com/PuerkitoBio/goquery from 1.9.1 to 1.9.2","shortMessageHtmlLink":"Merge pull request #140 from edoardottt/dependabot/go_modules/devel/g…"}},{"before":null,"after":"750b44db2c8d5ef933764a34f6a96b8d7bd71fe7","ref":"refs/heads/dependabot/go_modules/devel/github.com/PuerkitoBio/goquery-1.9.2","pushedAt":"2024-05-06T20:43:05.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":"chore(deps): bump github.com/PuerkitoBio/goquery from 1.9.1 to 1.9.2\n\nBumps [github.com/PuerkitoBio/goquery](https://github.com/PuerkitoBio/goquery) from 1.9.1 to 1.9.2.\n- [Release notes](https://github.com/PuerkitoBio/goquery/releases)\n- [Commits](https://github.com/PuerkitoBio/goquery/compare/v1.9.1...v1.9.2)\n\n---\nupdated-dependencies:\n- dependency-name: github.com/PuerkitoBio/goquery\n dependency-type: direct:production\n update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"chore(deps): bump github.com/PuerkitoBio/goquery from 1.9.1 to 1.9.2"}},{"before":"08177bccf340a6f7fbe09c63f7f419657198ed85","after":null,"ref":"refs/heads/dependabot/go_modules/golang.org/x/net-0.23.0","pushedAt":"2024-04-19T13:14:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"}},{"before":"86aac8595d4b5be7e4baf74cecd2edbff76dec1f","after":"de52e88a9948b9391ed57ca7c09547fc16ff2bd7","ref":"refs/heads/main","pushedAt":"2024-04-19T13:14:04.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Merge pull request #139 from edoardottt/dependabot/go_modules/golang.org/x/net-0.23.0\n\nchore(deps): bump golang.org/x/net from 0.21.0 to 0.23.0","shortMessageHtmlLink":"Merge pull request #139 from edoardottt/dependabot/go_modules/golang.…"}},{"before":null,"after":"08177bccf340a6f7fbe09c63f7f419657198ed85","ref":"refs/heads/dependabot/go_modules/golang.org/x/net-0.23.0","pushedAt":"2024-04-19T13:12: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":"chore(deps): bump golang.org/x/net from 0.21.0 to 0.23.0\n\nBumps [golang.org/x/net](https://github.com/golang/net) from 0.21.0 to 0.23.0.\n- [Commits](https://github.com/golang/net/compare/v0.21.0...v0.23.0)\n\n---\nupdated-dependencies:\n- dependency-name: golang.org/x/net\n dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"chore(deps): bump golang.org/x/net from 0.21.0 to 0.23.0"}},{"before":"792d4bd619117c09a9caa7341c814fc2c7c79459","after":"86aac8595d4b5be7e4baf74cecd2edbff76dec1f","ref":"refs/heads/devel","pushedAt":"2024-04-10T12:31:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"d3e5cf131f5cad5769f65ba493f2cce0a14e7527","after":"86aac8595d4b5be7e4baf74cecd2edbff76dec1f","ref":"refs/heads/main","pushedAt":"2024-04-10T12:30:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"578c981f7d88e9b1357690ecf973a9ca75a3bfc4","after":"d3e5cf131f5cad5769f65ba493f2cce0a14e7527","ref":"refs/heads/main","pushedAt":"2024-04-07T17:12:51.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Merge pull request #137 from edoardottt/devel\n\nv1.3.0","shortMessageHtmlLink":"Merge pull request #137 from edoardottt/devel"}},{"before":"430d1ca1ff14887e1abd7fbf1f808be08d6297e0","after":"792d4bd619117c09a9caa7341c814fc2c7c79459","ref":"refs/heads/devel","pushedAt":"2024-04-07T17:12:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"v1.3.0","shortMessageHtmlLink":"v1.3.0"}},{"before":"578c981f7d88e9b1357690ecf973a9ca75a3bfc4","after":"430d1ca1ff14887e1abd7fbf1f808be08d6297e0","ref":"refs/heads/devel","pushedAt":"2024-04-07T17:12:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"v1.3.0","shortMessageHtmlLink":"v1.3.0"}},{"before":"bc3bf6b740deedc0fcece89788432ea98bd580cb","after":"578c981f7d88e9b1357690ecf973a9ca75a3bfc4","ref":"refs/heads/devel","pushedAt":"2024-04-07T17:05:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"acfab5d3d858b270f5ce6ab793b6b708df283b5a","after":"578c981f7d88e9b1357690ecf973a9ca75a3bfc4","ref":"refs/heads/main","pushedAt":"2024-04-07T17:04:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"e87ac54719ef22e1080b644d99a913fe20387a64","after":"acfab5d3d858b270f5ce6ab793b6b708df283b5a","ref":"refs/heads/main","pushedAt":"2024-04-07T17:02:49.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Merge pull request #136 from edoardottt/devel\n\nv1.3.0","shortMessageHtmlLink":"Merge pull request #136 from edoardottt/devel"}},{"before":"f03d537df779821222dad1eca042675420491187","after":"bc3bf6b740deedc0fcece89788432ea98bd580cb","ref":"refs/heads/devel","pushedAt":"2024-04-07T16:55:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"v1.3.0","shortMessageHtmlLink":"v1.3.0"}},{"before":"e87ac54719ef22e1080b644d99a913fe20387a64","after":"f03d537df779821222dad1eca042675420491187","ref":"refs/heads/devel","pushedAt":"2024-04-07T16:50:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Embed default lists #135","shortMessageHtmlLink":"Embed default lists #135"}},{"before":"0dcb515244335b3b1f7e08ca1fe1a61398a8e622","after":"e87ac54719ef22e1080b644d99a913fe20387a64","ref":"refs/heads/devel","pushedAt":"2024-04-07T16:04:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"0dcb515244335b3b1f7e08ca1fe1a61398a8e622","after":"e87ac54719ef22e1080b644d99a913fe20387a64","ref":"refs/heads/main","pushedAt":"2024-04-07T16:04:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"060f3a64e5a1e992f07534da3a492b1d453ccb6c","after":"0dcb515244335b3b1f7e08ca1fe1a61398a8e622","ref":"refs/heads/devel","pushedAt":"2024-03-24T10:34:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Merge pull request #134 from edoardottt/devel\n\nremoved useless badges from readme","shortMessageHtmlLink":"Merge pull request #134 from edoardottt/devel"}},{"before":"531b5189aa89a6007955d151f19e15ccd30c0cdf","after":"0dcb515244335b3b1f7e08ca1fe1a61398a8e622","ref":"refs/heads/main","pushedAt":"2024-03-24T10:33:34.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Merge pull request #134 from edoardottt/devel\n\nremoved useless badges from readme","shortMessageHtmlLink":"Merge pull request #134 from edoardottt/devel"}},{"before":"531b5189aa89a6007955d151f19e15ccd30c0cdf","after":"060f3a64e5a1e992f07534da3a492b1d453ccb6c","ref":"refs/heads/devel","pushedAt":"2024-03-24T10:32:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"removed useless badges from readme","shortMessageHtmlLink":"removed useless badges from readme"}},{"before":"1d7c83970e347afb7930abd269a81246286695d3","after":"531b5189aa89a6007955d151f19e15ccd30c0cdf","ref":"refs/heads/devel","pushedAt":"2024-03-24T10:30:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Merge pull request #132 from edoardottt/devel\n\nDevel update","shortMessageHtmlLink":"Merge pull request #132 from edoardottt/devel"}},{"before":"7d3f54aeeae2ab8b8b49ebfd7185b2e21742e6bc","after":"531b5189aa89a6007955d151f19e15ccd30c0cdf","ref":"refs/heads/main","pushedAt":"2024-03-14T13:45:31.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"edoardottt","name":"Edoardo Ottavianelli","path":"/edoardottt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35783570?s=80&v=4"},"commit":{"message":"Merge pull request #132 from edoardottt/devel\n\nDevel update","shortMessageHtmlLink":"Merge pull request #132 from edoardottt/devel"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWhUryQA","startCursor":null,"endCursor":null}},"title":"Activity · edoardottt/scilla"}