{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":181706686,"defaultBranch":"master","name":"odoc","ownerLogin":"Julow","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2019-04-16T14:31:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2310568?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1725994094.0","currentOid":""},"activityList":{"items":[{"before":"61252747a611c703f2cc71caf8e0e0d7fde3f7fc","after":"bba469e61e000b7ca20b38a2833acb693237e1c4","ref":"refs/heads/page_short_titles","pushedAt":"2024-09-11T15:23:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Fix local breadcrumb computation","shortMessageHtmlLink":"Fix local breadcrumb computation"}},{"before":"d8373137677d92643941a75ecbb6908292e2b54b","after":"40026bf9a08b26de13cc522782c766310270bd07","ref":"refs/heads/man_kind_prefixing","pushedAt":"2024-09-11T12:37:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Rename and clarify 'pp_disambiguating_prefix'\n\nCo-authored-by: Paul-Elliot <peada@free.fr>","shortMessageHtmlLink":"Rename and clarify 'pp_disambiguating_prefix'"}},{"before":"e8329f98e5975dcf80171f3016899001dbf5b5db","after":"d8373137677d92643941a75ecbb6908292e2b54b","ref":"refs/heads/man_kind_prefixing","pushedAt":"2024-09-11T12:35:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Update CHANGES.md\n\nCo-authored-by: panglesd <peada@free.fr>","shortMessageHtmlLink":"Update CHANGES.md"}},{"before":null,"after":"61252747a611c703f2cc71caf8e0e0d7fde3f7fc","ref":"refs/heads/page_short_titles","pushedAt":"2024-09-10T18:48:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Promote tests","shortMessageHtmlLink":"Promote tests"}},{"before":"3125314bb4cac5f576e9e2d363194fdd44782be3","after":"a7aedca5e214a4dc6615460bba03460be968ab09","ref":"refs/heads/breadcrumbs_library","pushedAt":"2024-09-05T09:30:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Update Changes","shortMessageHtmlLink":"Update Changes"}},{"before":"67d8eaeef20c2519af17f9b5d58cdfe3f24b885a","after":"e8329f98e5975dcf80171f3016899001dbf5b5db","ref":"refs/heads/man_kind_prefixing","pushedAt":"2024-09-04T13:04:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Rename and clarify 'pp_disambiguating_prefix'\n\nCo-authored-by: Paul-Elliot <peada@free.fr>","shortMessageHtmlLink":"Rename and clarify 'pp_disambiguating_prefix'"}},{"before":"a1e91cec1d603cf2da28a7c0e310214754bcc6fa","after":"8555bf185eeecee85996d0af613352d277ec74ea","ref":"refs/heads/simplify_type_idents","pushedAt":"2024-08-27T15:19:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jonludlam","name":"Jon Ludlam","path":"/jonludlam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210963?s=80&v=4"},"commit":{"message":"Update tests","shortMessageHtmlLink":"Update tests"}},{"before":"b3870765e10057632304491d31f1622d06a80bd5","after":"a1e91cec1d603cf2da28a7c0e310214754bcc6fa","ref":"refs/heads/simplify_type_idents","pushedAt":"2024-08-27T14:54:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jonludlam","name":"Jon Ludlam","path":"/jonludlam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210963?s=80&v=4"},"commit":{"message":"Fix missing entries in module map in Lang_of","shortMessageHtmlLink":"Fix missing entries in module map in Lang_of"}},{"before":"bec962d2adf4ab3c16d9fe249b474aa36027f4b9","after":"b3870765e10057632304491d31f1622d06a80bd5","ref":"refs/heads/simplify_type_idents","pushedAt":"2024-08-27T14:37:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jonludlam","name":"Jon Ludlam","path":"/jonludlam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/210963?s=80&v=4"},"commit":{"message":"Fix missing entries in module map in Lang_of","shortMessageHtmlLink":"Fix missing entries in module map in Lang_of"}},{"before":"df48a527ffd13851261ec3e442dd64a9020c6036","after":"67d8eaeef20c2519af17f9b5d58cdfe3f24b885a","ref":"refs/heads/man_kind_prefixing","pushedAt":"2024-08-26T13:48:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Update Changes","shortMessageHtmlLink":"Update Changes"}},{"before":"5862ae64376a0b448f0ad196525795406c818b6d","after":"3125314bb4cac5f576e9e2d363194fdd44782be3","ref":"refs/heads/breadcrumbs_library","pushedAt":"2024-08-26T13:09:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Update Changes","shortMessageHtmlLink":"Update Changes"}},{"before":"f0aa65883ad9f6995d83b7804a19e82109814aaf","after":"df48a527ffd13851261ec3e442dd64a9020c6036","ref":"refs/heads/man_kind_prefixing","pushedAt":"2024-08-26T13:08:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Update Changes","shortMessageHtmlLink":"Update Changes"}},{"before":null,"after":"f0aa65883ad9f6995d83b7804a19e82109814aaf","ref":"refs/heads/man_kind_prefixing","pushedAt":"2024-08-26T13:04:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Consistent output file names in all backends\n\nThe latex and man backends were prefixing names differently than the\nHTML backend. This can create naming conflicts.\n\nThis removes code that was hard to maintain.","shortMessageHtmlLink":"Consistent output file names in all backends"}},{"before":"ad35d5609cee2fed3730e2244b7ea049b48be6df","after":"5862ae64376a0b448f0ad196525795406c818b6d","ref":"refs/heads/breadcrumbs_library","pushedAt":"2024-08-26T12:49:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Show packages and libraries in the breadcrumbs\n\nThis makes the breadcrumbs more readable by removing unteresting\ncomponents and make the beginning of the module path more recognizable.","shortMessageHtmlLink":"Show packages and libraries in the breadcrumbs"}},{"before":null,"after":"ad35d5609cee2fed3730e2244b7ea049b48be6df","ref":"refs/heads/breadcrumbs_library","pushedAt":"2024-08-26T12:44:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Show packages and libraries in the breadcrumbs\n\nThis makes the breadcrumbs more readable by removing unteresting\ncomponents and make the beginning of the module path more recognizable.","shortMessageHtmlLink":"Show packages and libraries in the breadcrumbs"}},{"before":"3b2e96a966cc82fa7b895f0b6fa6eaa7bad93cd4","after":"1151f5bb12c879bc801447ed11be80eeb070a74e","ref":"refs/heads/1183_use_format","pushedAt":"2024-08-21T14:36:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"panglesd","name":null,"path":"/panglesd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/34110029?s=80&v=4"},"commit":{"message":"Driver: nitpick","shortMessageHtmlLink":"Driver: nitpick"}},{"before":"2766f1c7d43e54bbf8f6ee4cab6fc9bdd8cccb07","after":"3b2e96a966cc82fa7b895f0b6fa6eaa7bad93cd4","ref":"refs/heads/1183_use_format","pushedAt":"2024-08-21T14:06:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"driver: Refactor Landing_pages to use Format\n\nUtil.write_file is refactored to be more suitable.","shortMessageHtmlLink":"driver: Refactor Landing_pages to use Format"}},{"before":null,"after":"2766f1c7d43e54bbf8f6ee4cab6fc9bdd8cccb07","ref":"refs/heads/1183_use_format","pushedAt":"2024-08-21T14:01:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"driver: Refactor Landing_pages to use Format\n\nUtil.write_file is refactored to be more suitable.","shortMessageHtmlLink":"driver: Refactor Landing_pages to use Format"}},{"before":"328f98c65a8e1757cad8dd81d1c2b45a1090d41c","after":"67ed47d85753f921f0b1aee7c10da163438ae454","ref":"refs/heads/fewer-name-to-strings","pushedAt":"2024-07-29T15:01:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"4.02 compat","shortMessageHtmlLink":"4.02 compat"}},{"before":"535932b65de1827373655d82bfd60cac9c862fb3","after":"328f98c65a8e1757cad8dd81d1c2b45a1090d41c","ref":"refs/heads/fewer-name-to-strings","pushedAt":"2024-07-29T13:52:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"4.02 compat","shortMessageHtmlLink":"4.02 compat"}},{"before":null,"after":"535932b65de1827373655d82bfd60cac9c862fb3","ref":"refs/heads/fewer-name-to-strings","pushedAt":"2024-07-29T13:00:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Fewer conversions between Names and strings","shortMessageHtmlLink":"Fewer conversions between Names and strings"}},{"before":null,"after":"bec962d2adf4ab3c16d9fe249b474aa36027f4b9","ref":"refs/heads/simplify_type_idents","pushedAt":"2024-07-29T12:48:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Simplify idents\n\nUse 'type_' idents instead of 'class_' and 'class_type'. Use 'module_'\ninstead of 'functor_parameter' and 'result'. This allows to remove some\ncode.","shortMessageHtmlLink":"Simplify idents"}},{"before":"9e6a68489362328df684319214df4d8c58b090cd","after":"b7faf799e20127ea736e4ff081a4ee3051203d68","ref":"refs/heads/remove_class_name","pushedAt":"2024-07-26T14:12:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Remove ClassName and ClassTypeName\n\nThey are replaced by TypeName as they are little risk of mixing them.","shortMessageHtmlLink":"Remove ClassName and ClassTypeName"}},{"before":null,"after":"9e6a68489362328df684319214df4d8c58b090cd","ref":"refs/heads/remove_class_name","pushedAt":"2024-07-26T14:10:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Remove ClassName and ClassTypeName\n\nThey are replaced by TypeName.","shortMessageHtmlLink":"Remove ClassName and ClassTypeName"}},{"before":null,"after":"d8abea5e997f58684db954b24b59a47f6747a207","ref":"refs/heads/1173_added_test","pushedAt":"2024-07-25T13:09:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Merge branch '1173_test' into pr/1173","shortMessageHtmlLink":"Merge branch '1173_test' into pr/1173"}},{"before":"7e59d8ae3b1a26bc7b179dc3ebabefcecdc72672","after":"1653d36ddc2156dbd3aefc7783084231f6c9ce09","ref":"refs/heads/path_module_ref","pushedAt":"2024-07-22T15:39:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Compat with 4.02","shortMessageHtmlLink":"Compat with 4.02"}},{"before":"baa62cd55fef3d38087b2d5bf4d5d431e0e11f75","after":"7e59d8ae3b1a26bc7b179dc3ebabefcecdc72672","ref":"refs/heads/path_module_ref","pushedAt":"2024-07-22T15:05:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Update comment","shortMessageHtmlLink":"Update comment"}},{"before":"f422df059ac8160087ab95dc0e1be43f239866c8","after":"baa62cd55fef3d38087b2d5bf4d5d431e0e11f75","ref":"refs/heads/path_module_ref","pushedAt":"2024-07-18T14:06:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Update CHANGES","shortMessageHtmlLink":"Update CHANGES"}},{"before":"a193c2b3578cb91ceeaf19a252a0d2376db841b5","after":"f422df059ac8160087ab95dc0e1be43f239866c8","ref":"refs/heads/path_module_ref","pushedAt":"2024-07-18T14:04:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Different hierarchy root for modules\n\nThe 'hierarchy_root' that ensures that relative references can't escape\ninto other packages or libraries is different for modules and pages.\n\nThis means that relative references can't be resolved from 'impl' units\nand from the 'html-url' command.\n\nThe \"current package dir\" computation is changed to be more robust.","shortMessageHtmlLink":"Different hierarchy root for modules"}},{"before":"26d569389a92986f9f7030dc4adb24d6ef83e400","after":"a193c2b3578cb91ceeaf19a252a0d2376db841b5","ref":"refs/heads/path_module_ref","pushedAt":"2024-07-18T13:57:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Julow","name":"Jules Aguillon","path":"/Julow","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2310568?s=80&v=4"},"commit":{"message":"Different hierarchy root for modules\n\nThe 'hierarchy_root' that ensures that relative references can't escape\ninto other packages or libraries is different for modules and pages.\n\nThis means that relative references can't be resolved from 'impl' units\nand from the 'html-url' command.\n\nThe \"current package dir\" computation is changed to be more robust.","shortMessageHtmlLink":"Different hierarchy root for modules"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMVQxNToyMzozNS4wMDAwMDBazwAAAASzX24m","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMVQxNToyMzozNS4wMDAwMDBazwAAAASzX24m","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xOFQxMzo1Nzo1Ny4wMDAwMDBazwAAAASC-6qY"}},"title":"Activity · Julow/odoc"}