{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":80826103,"defaultBranch":"master","name":"tutoriel_wp","ownerLogin":"AllanBlanchard","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-02-03T12:14:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/18618040?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1702144929.0","currentOid":""},"activityList":{"items":[{"before":"e25d74341aca340873f38bbbb2e0341f97d418fb","after":"f201e7bb63cebbb035f10c15421cd9f75b743f42","ref":"refs/heads/next-version","pushedAt":"2023-12-10T09:41:55.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"Merge pull request #64 from AllanBlanchard/new-content/check-admit-ensures-requires\n\nNew content: admit and check for requires and ensures","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2033967239\" data-permission-text=\"Title is private\" data-url=\"https://github.com/AllanBlanchard/tutoriel_wp/issues/64\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/AllanBlanchard/tutoriel_wp/pull/64/hovercard\" href=\"https://github.com/AllanBlanchard/tutoriel_wp/pull/64\">#64</a> from AllanBlanchard/new-content/check-admit-en…"}},{"before":"dacbd76cd0d9779cd00391731c3bd5cbbaa5b47b","after":"1c3b44edc4941beb4098a56b039b064cc86e176c","ref":"refs/heads/new-content/check-admit-ensures-requires","pushedAt":"2023-12-10T09:41:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"New content: admit and check for requires and ensures","shortMessageHtmlLink":"New content: admit and check for requires and ensures"}},{"before":"983505f85b9db849eefed9662b7ab0265759140b","after":"dacbd76cd0d9779cd00391731c3bd5cbbaa5b47b","ref":"refs/heads/new-content/check-admit-ensures-requires","pushedAt":"2023-12-10T09:36:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"New content: admit and check for requires and ensures","shortMessageHtmlLink":"New content: admit and check for requires and ensures"}},{"before":null,"after":"983505f85b9db849eefed9662b7ab0265759140b","ref":"refs/heads/new-content/check-admit-ensures-requires","pushedAt":"2023-12-09T18:02:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"New content: admit and check for requires and ensures","shortMessageHtmlLink":"New content: admit and check for requires and ensures"}},{"before":"c4adb1a1210870f6cc6809a811cbb578f4faf2c4","after":"e25d74341aca340873f38bbbb2e0341f97d418fb","ref":"refs/heads/next-version","pushedAt":"2023-12-09T15:25:58.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"Merge pull request #63 from charlesseizilles/next-version\n\nFixes typos","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1985621079\" data-permission-text=\"Title is private\" data-url=\"https://github.com/AllanBlanchard/tutoriel_wp/issues/63\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/AllanBlanchard/tutoriel_wp/pull/63/hovercard\" href=\"https://github.com/AllanBlanchard/tutoriel_wp/pull/63\">#63</a> from charlesseizilles/next-version"}},{"before":"5cfcf6bd780de4d72fbdbde96a237eeb41e921e8","after":"c4adb1a1210870f6cc6809a811cbb578f4faf2c4","ref":"refs/heads/next-version","pushedAt":"2023-12-09T15:04:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"texttt to CodeInline","shortMessageHtmlLink":"texttt to CodeInline"}},{"before":"f945b61889236090f77df0d95df8df91e846b24e","after":"5cfcf6bd780de4d72fbdbde96a237eeb41e921e8","ref":"refs/heads/next-version","pushedAt":"2023-10-07T09:07:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"Bump to AE 2.5.1 - a few Success -> Trivial","shortMessageHtmlLink":"Bump to AE 2.5.1 - a few Success -&gt; Trivial"}},{"before":"bbbe35d503834becf7485d07224246a7240b5682","after":null,"ref":"refs/heads/new-content/termination","pushedAt":"2023-10-02T13:54:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"}},{"before":"89a562a6ae1a6c9292493ecadf69e0bf89a8f8cb","after":null,"ref":"refs/heads/new-content/general-measure","pushedAt":"2023-10-02T13:54:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"}},{"before":"54e54d1676a7116897804c74ffcdbb9aa0ccdc3c","after":null,"ref":"refs/heads/fix/typos","pushedAt":"2023-10-02T13:54:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"}},{"before":"42ec5dc837c3e1de900ca084d6efe6ab0fcfdaa0","after":null,"ref":"refs/heads/new-content/axiomatic-cluster","pushedAt":"2023-10-02T13:54:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"}},{"before":"39e2cdfb433a1aa084ceedbdca6ac5d4f058cf75","after":null,"ref":"refs/heads/fix-content/better-inductive","pushedAt":"2023-10-02T13:54:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"}},{"before":"cab614439be43d1005cc9a75b6ddce472572b497","after":null,"ref":"refs/heads/new-content/main-requires","pushedAt":"2023-10-02T13:54:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"}},{"before":"130b0669fa997a8a2ea1029ddecd65ce56175432","after":null,"ref":"refs/heads/adapt-tests-to-dune","pushedAt":"2023-10-02T13:54:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"}},{"before":"76998f9ed816b21ddf99d1c059539a3476979b1b","after":null,"ref":"refs/heads/new-content/assert-check-admit","pushedAt":"2023-10-02T13:54:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"}},{"before":"fe55c0c356c1b6af0f3c0ee49ab2be1b0465b4a9","after":null,"ref":"refs/heads/minor-changes-in-loops","pushedAt":"2023-10-02T13:54:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"}},{"before":"e7efb1979953a887c9607cfc0f8292ec0cf2c137","after":null,"ref":"refs/heads/new-content/building-loop-annotations","pushedAt":"2023-10-02T13:54:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"}},{"before":"e366d9493694e225361135ae53e4f6c4ce8cfecd","after":null,"ref":"refs/heads/new-content/wp-vs-disjkstra-wp","pushedAt":"2023-10-02T13:54:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"}},{"before":"de5954834f960ce56865fd5bb155385ca04ad303","after":"f945b61889236090f77df0d95df8df91e846b24e","ref":"refs/heads/next-version","pushedAt":"2023-10-02T09:38:48.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"Merge pull request #59 from AllanBlanchard/new-content/wp-vs-disjkstra-wp\n\nNew content: WP vs Disjkstra WP","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1773270053\" data-permission-text=\"Title is private\" data-url=\"https://github.com/AllanBlanchard/tutoriel_wp/issues/59\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/AllanBlanchard/tutoriel_wp/pull/59/hovercard\" href=\"https://github.com/AllanBlanchard/tutoriel_wp/pull/59\">#59</a> from AllanBlanchard/new-content/wp-vs-disjkstr…"}},{"before":"cebc4effcbb4d16d7b6610e84e29fcf44faa7e2a","after":"e366d9493694e225361135ae53e4f6c4ce8cfecd","ref":"refs/heads/new-content/wp-vs-disjkstra-wp","pushedAt":"2023-10-02T09:38:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"FR - Typo","shortMessageHtmlLink":"FR - Typo"}},{"before":"efce1234070d1d883ea568ca1808922f71bc9bce","after":"de5954834f960ce56865fd5bb155385ca04ad303","ref":"refs/heads/next-version","pushedAt":"2023-10-02T09:31:01.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"Merge pull request #61 from AllanBlanchard/new-content/building-loop-annotations\n\nNew content: Building loop annotations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1907210533\" data-permission-text=\"Title is private\" data-url=\"https://github.com/AllanBlanchard/tutoriel_wp/issues/61\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/AllanBlanchard/tutoriel_wp/pull/61/hovercard\" href=\"https://github.com/AllanBlanchard/tutoriel_wp/pull/61\">#61</a> from AllanBlanchard/new-content/building-loop-…"}},{"before":"9efa3c51e9d6257939fbd1d31c73c1ba54957ba1","after":"e7efb1979953a887c9607cfc0f8292ec0cf2c137","ref":"refs/heads/new-content/building-loop-annotations","pushedAt":"2023-10-02T09:30:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"EN/FR Typos","shortMessageHtmlLink":"EN/FR Typos"}},{"before":null,"after":"9efa3c51e9d6257939fbd1d31c73c1ba54957ba1","ref":"refs/heads/new-content/building-loop-annotations","pushedAt":"2023-09-21T15:07:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"EN + FR : new-content : Explain how to build loop annotations","shortMessageHtmlLink":"EN + FR : new-content : Explain how to build loop annotations"}},{"before":"2311eb632c85c16869e01fbdd38039626e7a2c8d","after":"efce1234070d1d883ea568ca1808922f71bc9bce","ref":"refs/heads/next-version","pushedAt":"2023-09-21T15:06:30.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"Merge pull request #60 from AllanBlanchard/minor-changes-in-loops\n\nMinor changes in loops","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1773348192\" data-permission-text=\"Title is private\" data-url=\"https://github.com/AllanBlanchard/tutoriel_wp/issues/60\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/AllanBlanchard/tutoriel_wp/pull/60/hovercard\" href=\"https://github.com/AllanBlanchard/tutoriel_wp/pull/60\">#60</a> from AllanBlanchard/minor-changes-in-loops"}},{"before":"f8615b24ebe0fd5282cc5ad07674070c774ef1cf","after":"cebc4effcbb4d16d7b6610e84e29fcf44faa7e2a","ref":"refs/heads/new-content/wp-vs-disjkstra-wp","pushedAt":"2023-09-21T14:50:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"EN + FR : new content : WP plugin vs Dijkstra WP","shortMessageHtmlLink":"EN + FR : new content : WP plugin vs Dijkstra WP"}},{"before":"bbc9bbe657d60eb6adab9ce4b534635a86a2f489","after":"fe55c0c356c1b6af0f3c0ee49ab2be1b0465b4a9","ref":"refs/heads/minor-changes-in-loops","pushedAt":"2023-09-21T14:49:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"Fix start line for an example","shortMessageHtmlLink":"Fix start line for an example"}},{"before":"3859a6281b45fe0cedcf1a3889c24309009ec348","after":"2311eb632c85c16869e01fbdd38039626e7a2c8d","ref":"refs/heads/next-version","pushedAt":"2023-09-21T14:47:06.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"Merge pull request #58 from AllanBlanchard/new-content/assert-check-admit\n\nNew-content: Check, admit and variations over loops and lemmas","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1773255973\" data-permission-text=\"Title is private\" data-url=\"https://github.com/AllanBlanchard/tutoriel_wp/issues/58\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/AllanBlanchard/tutoriel_wp/pull/58/hovercard\" href=\"https://github.com/AllanBlanchard/tutoriel_wp/pull/58\">#58</a> from AllanBlanchard/new-content/assert-check-a…"}},{"before":"9305e376a23e2ec1f3e2024dd226d61a7555e04f","after":"76998f9ed816b21ddf99d1c059539a3476979b1b","ref":"refs/heads/new-content/assert-check-admit","pushedAt":"2023-09-21T14:44:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"[EN/FR] fixes a few typos","shortMessageHtmlLink":"[EN/FR] fixes a few typos"}},{"before":null,"after":"bbc9bbe657d60eb6adab9ce4b534635a86a2f489","ref":"refs/heads/minor-changes-in-loops","pushedAt":"2023-06-25T15:37:17.363Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"Fix start line for an example","shortMessageHtmlLink":"Fix start line for an example"}},{"before":null,"after":"f8615b24ebe0fd5282cc5ad07674070c774ef1cf","ref":"refs/heads/new-content/wp-vs-disjkstra-wp","pushedAt":"2023-06-25T12:59:58.651Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AllanBlanchard","name":"Allan Blanchard","path":"/AllanBlanchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18618040?s=80&v=4"},"commit":{"message":"EN + FR : new content : WP plugin vs Dijkstra WP","shortMessageHtmlLink":"EN + FR : new content : WP plugin vs Dijkstra WP"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADxm2xwAA","startCursor":null,"endCursor":null}},"title":"Activity · AllanBlanchard/tutoriel_wp"}