{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":116950347,"defaultBranch":"master","name":"learn","ownerLogin":"AdaCore","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-01-10T11:42:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7767877?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715029260.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"22b1d3b3b15a16e175018bd87def4b67b47551c8","ref":"refs/heads/dependabot/pip/frontend/jinja2-3.1.4","pushedAt":"2024-05-06T21:01:00.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":"Bump jinja2 from 3.1.3 to 3.1.4 in /frontend\n\nBumps [jinja2](https://github.com/pallets/jinja) from 3.1.3 to 3.1.4.\n- [Release notes](https://github.com/pallets/jinja/releases)\n- [Changelog](https://github.com/pallets/jinja/blob/main/CHANGES.rst)\n- [Commits](https://github.com/pallets/jinja/compare/3.1.3...3.1.4)\n\n---\nupdated-dependencies:\n- dependency-name: jinja2\n dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"Bump jinja2 from 3.1.3 to 3.1.4 in /frontend"}},{"before":"62f1a5bbf000f89530886dde1c8056961913b85b","after":"a871ed38114962eb170219d19aa2d72b13ed2c47","ref":"refs/heads/master","pushedAt":"2024-05-04T03:06:21.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1042 from gusthoff/content/advanced_ada/review/limited_types/general/20240503\n\nEditorial changes: \"Limited Types\" chapter","shortMessageHtmlLink":"Merge pull request #1042 from gusthoff/content/advanced_ada/review/li…"}},{"before":"bb6e1df1fb1fe7b09154b860bcfc4429507742e5","after":"62f1a5bbf000f89530886dde1c8056961913b85b","ref":"refs/heads/master","pushedAt":"2024-04-27T11:15:52.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1040 from gusthoff/content/advanced_ada/review/editorial/general/20240427/list_of_authors\n\nEditorial change: reworking list of credits","shortMessageHtmlLink":"Merge pull request #1040 from gusthoff/content/advanced_ada/review/ed…"}},{"before":"9367a0e603bd57319bccbc954fd878b4aa87cb35","after":"bb6e1df1fb1fe7b09154b860bcfc4429507742e5","ref":"refs/heads/master","pushedAt":"2024-04-27T10:43:25.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1039 from gusthoff/content/advanced_ada/review/records/default_initialization/20240427\n\nRevert \"Editorial change: moving section\"","shortMessageHtmlLink":"Merge pull request #1039 from gusthoff/content/advanced_ada/review/re…"}},{"before":"09fbecc9e30471a45ea8f91ae9f40666b3e64db8","after":"9367a0e603bd57319bccbc954fd878b4aa87cb35","ref":"refs/heads/master","pushedAt":"2024-04-27T00:04:19.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1036 from gusthoff/topic/issues/1020\n\nWidget: include SPARK project in downloaded zip file","shortMessageHtmlLink":"Merge pull request #1036 from gusthoff/topic/issues/1020"}},{"before":"c1f1ec66c06f1eabb7619af2d446091375b95ad7","after":"09fbecc9e30471a45ea8f91ae9f40666b3e64db8","ref":"refs/heads/master","pushedAt":"2024-04-27T00:03:55.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1037 from gusthoff/topic/infrastructure/sphinx/updates/20240427\n\nPython: updating some packages","shortMessageHtmlLink":"Merge pull request #1037 from gusthoff/topic/infrastructure/sphinx/up…"}},{"before":"ba170ebdc712f1999d5a67f5ba117f839b76f65e","after":null,"ref":"refs/heads/dependabot/pip/frontend/idna-3.7","pushedAt":"2024-04-26T19:27:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"69eee2a3070e40a2bd3598b93e45e0ca1a29afbf","after":"c1f1ec66c06f1eabb7619af2d446091375b95ad7","ref":"refs/heads/master","pushedAt":"2024-04-26T16:20:36.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1035 from gusthoff/content/advanced_ada/review/records/default_initialization/20240426\n\nEditorial change: moving section: \"default initialization\"","shortMessageHtmlLink":"Merge pull request #1035 from gusthoff/content/advanced_ada/review/re…"}},{"before":"38e18387674c11fa9f52f64777e075272798f48a","after":"69eee2a3070e40a2bd3598b93e45e0ca1a29afbf","ref":"refs/heads/master","pushedAt":"2024-04-26T11:29:37.000Z","pushType":"pr_merge","commitsCount":15,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1033 from gusthoff/content/advanced_ada/new_content/records/per_object_expressions/20240419\n\nImprovements to section on per-object expressions","shortMessageHtmlLink":"Merge pull request #1033 from gusthoff/content/advanced_ada/new_conte…"}},{"before":"cf1535182b73ade2c64527909c04b29ca40653f5","after":"38e18387674c11fa9f52f64777e075272798f48a","ref":"refs/heads/master","pushedAt":"2024-04-13T10:17:31.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1032 from gusthoff/content/intro_to_spark/review/editorial/general/20240412/small_correction\n\nUse \"local units\" instead of \"subunits\" in explanation","shortMessageHtmlLink":"Merge pull request #1032 from gusthoff/content/intro_to_spark/review/…"}},{"before":"ac255a974477c7f17545ec1704c3dd4b549c34d7","after":"cf1535182b73ade2c64527909c04b29ca40653f5","ref":"refs/heads/master","pushedAt":"2024-04-12T22:55:30.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1031 from gusthoff/content/advanced_ada/review/limited_types/general/20240412\n\nVarious improvements to chapter on limited types","shortMessageHtmlLink":"Merge pull request #1031 from gusthoff/content/advanced_ada/review/li…"}},{"before":null,"after":"ba170ebdc712f1999d5a67f5ba117f839b76f65e","ref":"refs/heads/dependabot/pip/frontend/idna-3.7","pushedAt":"2024-04-12T04:35:39.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":"Bump idna from 3.6 to 3.7 in /frontend\n\nBumps [idna](https://github.com/kjd/idna) from 3.6 to 3.7.\n- [Release notes](https://github.com/kjd/idna/releases)\n- [Changelog](https://github.com/kjd/idna/blob/master/HISTORY.rst)\n- [Commits](https://github.com/kjd/idna/compare/v3.6...v3.7)\n\n---\nupdated-dependencies:\n- dependency-name: idna\n dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"Bump idna from 3.6 to 3.7 in /frontend"}},{"before":"bab18b0d27fba751fc850f01e7a2591558c314e1","after":"ac255a974477c7f17545ec1704c3dd4b549c34d7","ref":"refs/heads/master","pushedAt":"2024-04-06T12:53:57.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1029 from gusthoff/content/guidelines_for_safe_and_secure_ada_spark/review/editorial/structure/20240405\n\nEditorial change: adding course to the list for publication","shortMessageHtmlLink":"Merge pull request #1029 from gusthoff/content/guidelines_for_safe_an…"}},{"before":"15b36f493f4c153c6b86d6ecb9848ad666a67c7a","after":"bab18b0d27fba751fc850f01e7a2591558c314e1","ref":"refs/heads/master","pushedAt":"2024-04-06T11:04:05.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1028 from gusthoff/content/guidelines_for_safe_and_secure_ada_spark/review/editorial/structure/20240405\n\n Editorial change: preparing new course for publication","shortMessageHtmlLink":"Merge pull request #1028 from gusthoff/content/guidelines_for_safe_an…"}},{"before":"1d031940b5fc04a7c07f78c2bdc9f5ddee5f9e4f","after":null,"ref":"refs/heads/dependabot/pip/frontend/pillow-10.3.0","pushedAt":"2024-04-06T00:04:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"c10e5743f015c5083e7831ee41b03ed2ee6fffa4","after":"15b36f493f4c153c6b86d6ecb9848ad666a67c7a","ref":"refs/heads/master","pushedAt":"2024-04-06T00:04:44.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1024 from AdaCore/dependabot/pip/frontend/pillow-10.3.0\n\nBump pillow from 10.2.0 to 10.3.0 in /frontend","shortMessageHtmlLink":"Merge pull request #1024 from AdaCore/dependabot/pip/frontend/pillow-…"}},{"before":"868a2f9f77a092c78201af0d005036608944b4ab","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/frontend/express-4.19.2","pushedAt":"2024-04-06T00:04:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"377fde0a4440ac289d0a5e4cbc98125b9ba620c9","after":"c10e5743f015c5083e7831ee41b03ed2ee6fffa4","ref":"refs/heads/master","pushedAt":"2024-04-06T00:04:31.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1019 from AdaCore/dependabot/npm_and_yarn/frontend/express-4.19.2\n\nBump express from 4.18.1 to 4.19.2 in /frontend","shortMessageHtmlLink":"Merge pull request #1019 from AdaCore/dependabot/npm_and_yarn/fronten…"}},{"before":"8c56daddf0cdc468e985023fda24296c7f4698dd","after":"377fde0a4440ac289d0a5e4cbc98125b9ba620c9","ref":"refs/heads/master","pushedAt":"2024-04-06T00:00:32.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1021 from AdaCore/updates_for_blog_post\n\nPython script to generate a rules file from the RST files","shortMessageHtmlLink":"Merge pull request #1021 from AdaCore/updates_for_blog_post"}},{"before":"a5b7d9e4c9b1fa01113c777e191b81d56a4e0342","after":"8c56daddf0cdc468e985023fda24296c7f4698dd","ref":"refs/heads/master","pushedAt":"2024-04-05T18:55:05.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1027 from gusthoff/topic/infrastructure/github_actions/20240405/dummy_publish-learn-latest_automatic\n\nGitHub actions: using automatic trigger on push","shortMessageHtmlLink":"Merge pull request #1027 from gusthoff/topic/infrastructure/github_ac…"}},{"before":"527c85bb48f4a6fc0f1d2201bd945bea257d8bbb","after":"a5b7d9e4c9b1fa01113c777e191b81d56a4e0342","ref":"refs/heads/master","pushedAt":"2024-04-05T18:20:48.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1026 from gusthoff/topic/infrastructure/github_actions/20240405/dummy_publish-learn-latest\n\nGitHub actions: dummy version of publish-learn-latest","shortMessageHtmlLink":"Merge pull request #1026 from gusthoff/topic/infrastructure/github_ac…"}},{"before":"4923daf1a617e3400256c7cb17f4d3100737cdc6","after":"a3b66b117d9f442e4182c75737901b5eff9505c4","ref":"refs/heads/updates_for_blog_post","pushedAt":"2024-04-04T22:08:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"frank-at-adacore","name":"Michael Frank","path":"/frank-at-adacore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55284511?s=80&v=4"},"commit":{"message":"clean up language","shortMessageHtmlLink":"clean up language"}},{"before":"897800a6bfb12db1f0ca39e35dded1e0c717bcff","after":"4923daf1a617e3400256c7cb17f4d3100737cdc6","ref":"refs/heads/updates_for_blog_post","pushedAt":"2024-04-04T22:05:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"frank-at-adacore","name":"Michael Frank","path":"/frank-at-adacore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55284511?s=80&v=4"},"commit":{"message":"Remove unnecessary files","shortMessageHtmlLink":"Remove unnecessary files"}},{"before":"28253533df2832fe909ce38c92b252e99c257b5b","after":"897800a6bfb12db1f0ca39e35dded1e0c717bcff","ref":"refs/heads/updates_for_blog_post","pushedAt":"2024-04-04T21:25:46.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"frank-at-adacore","name":"Michael Frank","path":"/frank-at-adacore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55284511?s=80&v=4"},"commit":{"message":"Merge branch 'master' into updates_for_blog_post","shortMessageHtmlLink":"Merge branch 'master' into updates_for_blog_post"}},{"before":"63315a61edffdebcad817b4aa0052c578e240352","after":"28253533df2832fe909ce38c92b252e99c257b5b","ref":"refs/heads/updates_for_blog_post","pushedAt":"2024-04-04T19:59:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"frank-at-adacore","name":"Michael Frank","path":"/frank-at-adacore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55284511?s=80&v=4"},"commit":{"message":"Create README.md, add script to local directory","shortMessageHtmlLink":"Create README.md, add script to local directory"}},{"before":"c96c0e9d2c79fbb8c6159a16c88d16fd661af354","after":"63315a61edffdebcad817b4aa0052c578e240352","ref":"refs/heads/updates_for_blog_post","pushedAt":"2024-04-04T19:13:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"frank-at-adacore","name":"Michael Frank","path":"/frank-at-adacore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55284511?s=80&v=4"},"commit":{"message":"Add files to allow standalone build of coding standards","shortMessageHtmlLink":"Add files to allow standalone build of coding standards"}},{"before":null,"after":"1d031940b5fc04a7c07f78c2bdc9f5ddee5f9e4f","ref":"refs/heads/dependabot/pip/frontend/pillow-10.3.0","pushedAt":"2024-04-03T16:27:38.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":"Bump pillow from 10.2.0 to 10.3.0 in /frontend\n\nBumps [pillow](https://github.com/python-pillow/Pillow) from 10.2.0 to 10.3.0.\n- [Release notes](https://github.com/python-pillow/Pillow/releases)\n- [Changelog](https://github.com/python-pillow/Pillow/blob/main/CHANGES.rst)\n- [Commits](https://github.com/python-pillow/Pillow/compare/10.2.0...10.3.0)\n\n---\nupdated-dependencies:\n- dependency-name: pillow\n dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"Bump pillow from 10.2.0 to 10.3.0 in /frontend"}},{"before":"b5d4153f53bc9a7bf7047bbb27e4cef5f894b76b","after":"527c85bb48f4a6fc0f1d2201bd945bea257d8bbb","ref":"refs/heads/master","pushedAt":"2024-03-30T02:14:39.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1023 from gusthoff/topic/infrastructure/yarn/updates/20240330\n\nFrontend: upgrading yarn packages","shortMessageHtmlLink":"Merge pull request #1023 from gusthoff/topic/infrastructure/yarn/upda…"}},{"before":"f8a599bc29a14854146689aea92ff343af026383","after":"b5d4153f53bc9a7bf7047bbb27e4cef5f894b76b","ref":"refs/heads/master","pushedAt":"2024-03-30T02:14:32.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gusthoff","name":"Gustavo A. Hoffmann","path":"/gusthoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12039841?s=80&v=4"},"commit":{"message":"Merge pull request #1022 from gusthoff/topic/infrastructure/sphinx/updates/20240330\n\nPython: updating some packages","shortMessageHtmlLink":"Merge pull request #1022 from gusthoff/topic/infrastructure/sphinx/up…"}},{"before":"d77ccf617884428a984c41d0189b77dee5f99ea1","after":"c96c0e9d2c79fbb8c6159a16c88d16fd661af354","ref":"refs/heads/updates_for_blog_post","pushedAt":"2024-03-29T20:14:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"frank-at-adacore","name":"Michael Frank","path":"/frank-at-adacore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55284511?s=80&v=4"},"commit":{"message":"Move python script and README","shortMessageHtmlLink":"Move python script and README"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQu_08wA","startCursor":null,"endCursor":null}},"title":"Activity · AdaCore/learn"}