{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":599968221,"defaultBranch":"murec_artifact","name":"Murec_Extraction","ownerLogin":"DmxLarchey","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-02-10T09:30:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1826363?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1707039907.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"198e937362537de330b635e17ca244c3dab41ced","ref":"refs/heads/vec_head_tail_variant","pushedAt":"2024-02-04T09:45:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"modified vec_rect2 to be structural in v but starting with\na pattern matching on n","shortMessageHtmlLink":"modified vec_rect2 to be structural in v but starting with"}},{"before":"52b860574c6d9787f80acd5b3d39095064b20140","after":"18e533122cbba3627bc32bbada7e7a2c16234e38","ref":"refs/heads/murec_artifact","pushedAt":"2023-07-20T09:49:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"diffs","shortMessageHtmlLink":"diffs"}},{"before":"81e1e2a7dad5c0a69235963096f855bd53e8f1b6","after":"d8098f27453cd643ef930fff72352fae62e0ee53","ref":"refs/heads/murec_artifact_unit","pushedAt":"2023-07-20T09:48:21.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"Merge branch 'murec_artifact' into murec_artifact_unit","shortMessageHtmlLink":"Merge branch 'murec_artifact' into murec_artifact_unit"}},{"before":"bb3f8c97c2b72c3cfd12aeab654e4cd9da1e97ac","after":"570e9f0f12dbc6d2bd91dce6a85aacc447ba1da2","ref":"refs/heads/murec_artifact_hide","pushedAt":"2023-07-20T09:46:49.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"Merge branch 'murec_artifact' into murec_artifact_hide","shortMessageHtmlLink":"Merge branch 'murec_artifact' into murec_artifact_hide"}},{"before":"547ae508be0aba6266ce7b6c61139a30d831effe","after":null,"ref":"refs/heads/murec_artifact_unit_orig","pushedAt":"2023-05-22T13:51:15.948Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"}},{"before":"2bc6d8484dabca3da4a616b0e03b784939974243","after":null,"ref":"refs/heads/murec_artifact_hide_orig","pushedAt":"2023-05-22T13:51:14.737Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"}},{"before":"41ea158122f9509379b893aecc5f532491d6dac8","after":null,"ref":"refs/heads/murec_artifact_no_cut","pushedAt":"2023-05-22T13:51:12.090Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"}},{"before":"4204c5a6814ec676a4cf5d4ef00e4d79f95c1991","after":null,"ref":"refs/heads/murec_artifact_orig","pushedAt":"2023-05-22T13:51:05.458Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"}},{"before":"f6de3a23fa0c3347ff01347b0482f88146d2abf2","after":null,"ref":"refs/heads/standalone","pushedAt":"2023-05-22T13:48:34.624Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"}},{"before":"9dd4ae2b122e0ec44bd0f1e39dfacd6b5dff9baf","after":null,"ref":"refs/heads/standalone_README","pushedAt":"2023-05-22T13:48:32.447Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"}},{"before":"e6eca9cc71a6de24cfca53b336fb862100ff9f17","after":"52b860574c6d9787f80acd5b3d39095064b20140","ref":"refs/heads/murec_artifact","pushedAt":"2023-05-22T13:40:38.760Z","pushType":"push","commitsCount":1,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"update diff files to account for the standalone.v variants","shortMessageHtmlLink":"update diff files to account for the standalone.v variants"}},{"before":"3bc5c374e8445a37a93bdb41c78de58b6bed9fba","after":"bb3f8c97c2b72c3cfd12aeab654e4cd9da1e97ac","ref":"refs/heads/murec_artifact_hide","pushedAt":"2023-05-22T13:39:42.148Z","pushType":"push","commitsCount":1,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"modified standalone.v to account for the hide trick","shortMessageHtmlLink":"modified standalone.v to account for the hide trick"}},{"before":"71e09a5eef51cc6930c906a659fa0cbd16ec20da","after":"81e1e2a7dad5c0a69235963096f855bd53e8f1b6","ref":"refs/heads/murec_artifact_unit","pushedAt":"2023-05-22T13:18:45.355Z","pushType":"push","commitsCount":1,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"converted standalone file to the unit trick","shortMessageHtmlLink":"converted standalone file to the unit trick"}},{"before":"402fb507f99d94a0bad693f355842d643c899846","after":"3bc5c374e8445a37a93bdb41c78de58b6bed9fba","ref":"refs/heads/murec_artifact_hide","pushedAt":"2023-05-22T13:09:41.806Z","pushType":"push","commitsCount":12,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"Merge branch 'murec_artifact' into murec_artifact_hide","shortMessageHtmlLink":"Merge branch 'murec_artifact' into murec_artifact_hide"}},{"before":"319747a81fa84ba2eabdf546dd0067fd6140d851","after":"71e09a5eef51cc6930c906a659fa0cbd16ec20da","ref":"refs/heads/murec_artifact_unit","pushedAt":"2023-05-22T13:09:27.403Z","pushType":"push","commitsCount":12,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"Merge branch 'murec_artifact' into murec_artifact_unit","shortMessageHtmlLink":"Merge branch 'murec_artifact' into murec_artifact_unit"}},{"before":"238d689fc0cfc237b73ecb096bf89b292fd3a0ba","after":"e6eca9cc71a6de24cfca53b336fb862100ff9f17","ref":"refs/heads/murec_artifact","pushedAt":"2023-05-22T13:07:13.442Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"Merge pull request #10 from DmxLarchey/standalone_README\n\nadd expl in README","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1711920460\" data-permission-text=\"Title is private\" data-url=\"https://github.com/DmxLarchey/Murec_Extraction/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/DmxLarchey/Murec_Extraction/pull/10/hovercard\" href=\"https://github.com/DmxLarchey/Murec_Extraction/pull/10\">#10</a> from DmxLarchey/standalone_README"}},{"before":"d5239b41bb4be3056d418ffcf8a1a1d27fae2ad4","after":"9dd4ae2b122e0ec44bd0f1e39dfacd6b5dff9baf","ref":"refs/heads/standalone_README","pushedAt":"2023-05-22T13:04:58.578Z","pushType":"push","commitsCount":1,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"HL","shortMessageHtmlLink":"HL"}},{"before":"88eb547e7427a8b037ec9ff39063a704ce18d53e","after":"d5239b41bb4be3056d418ffcf8a1a1d27fae2ad4","ref":"refs/heads/standalone_README","pushedAt":"2023-05-22T13:01:13.282Z","pushType":"push","commitsCount":1,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"hyperlinks","shortMessageHtmlLink":"hyperlinks"}},{"before":"02e07c5b588e780299c09ebf36a9b42f8f0f49cf","after":"88eb547e7427a8b037ec9ff39063a704ce18d53e","ref":"refs/heads/standalone_README","pushedAt":"2023-05-22T12:58:07.194Z","pushType":"push","commitsCount":1,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"hyperlinks","shortMessageHtmlLink":"hyperlinks"}},{"before":"08f4e75425c4e5345dad51a0d65cd34ee5efd69a","after":"02e07c5b588e780299c09ebf36a9b42f8f0f49cf","ref":"refs/heads/standalone_README","pushedAt":"2023-05-22T12:55:12.429Z","pushType":"push","commitsCount":1,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"adding hyperlink","shortMessageHtmlLink":"adding hyperlink"}},{"before":null,"after":"08f4e75425c4e5345dad51a0d65cd34ee5efd69a","ref":"refs/heads/standalone_README","pushedAt":"2023-05-16T12:24:03.991Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"moninjf","name":null,"path":"/moninjf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14203012?s=80&v=4"},"commit":{"message":"add expl in README","shortMessageHtmlLink":"add expl in README"}},{"before":"537d9531b78fd55e66165bf98c9e2c0d117ce255","after":"238d689fc0cfc237b73ecb096bf89b292fd3a0ba","ref":"refs/heads/murec_artifact","pushedAt":"2023-05-16T11:41:02.394Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"moninjf","name":null,"path":"/moninjf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14203012?s=80&v=4"},"commit":{"message":"Merge pull request #9 from DmxLarchey/standalone\n\nAll the interpreter in a single file","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1711718461\" data-permission-text=\"Title is private\" data-url=\"https://github.com/DmxLarchey/Murec_Extraction/issues/9\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/DmxLarchey/Murec_Extraction/pull/9/hovercard\" href=\"https://github.com/DmxLarchey/Murec_Extraction/pull/9\">#9</a> from DmxLarchey/standalone"}},{"before":"5e810f6aefc387164d25152df1c4633e28891fc8","after":"537d9531b78fd55e66165bf98c9e2c0d117ce255","ref":"refs/heads/murec_artifact","pushedAt":"2023-05-16T11:37:34.468Z","pushType":"push","commitsCount":2,"pusher":{"login":"moninjf","name":null,"path":"/moninjf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14203012?s=80&v=4"},"commit":{"message":"Coq V17.0 ok","shortMessageHtmlLink":"Coq V17.0 ok"}},{"before":null,"after":"f6de3a23fa0c3347ff01347b0482f88146d2abf2","ref":"refs/heads/standalone","pushedAt":"2023-05-16T10:20:56.735Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"first iteration of a standalone file","shortMessageHtmlLink":"first iteration of a standalone file"}},{"before":"6dcbd627e60f9abcfe54976d2389e91e42bf5c09","after":"5e810f6aefc387164d25152df1c4633e28891fc8","ref":"refs/heads/murec_artifact","pushedAt":"2023-05-16T09:34:55.755Z","pushType":"push","commitsCount":1,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"regen diffs","shortMessageHtmlLink":"regen diffs"}},{"before":"9a682b365acf1c1899119d81aba8cd23e413be5f","after":"402fb507f99d94a0bad693f355842d643c899846","ref":"refs/heads/murec_artifact_hide","pushedAt":"2023-05-16T09:34:16.839Z","pushType":"push","commitsCount":4,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"Merge branch 'murec_artifact' into murec_artifact_hide","shortMessageHtmlLink":"Merge branch 'murec_artifact' into murec_artifact_hide"}},{"before":"bc1c0beb0a726c1ccd58964021ecaf3a9bf6cb7b","after":"319747a81fa84ba2eabdf546dd0067fd6140d851","ref":"refs/heads/murec_artifact_unit","pushedAt":"2023-05-16T09:33:52.725Z","pushType":"push","commitsCount":4,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"Merge branch 'murec_artifact' into murec_artifact_unit","shortMessageHtmlLink":"Merge branch 'murec_artifact' into murec_artifact_unit"}},{"before":"f34ddf7bdeca06557139414228a85022df581db7","after":"6dcbd627e60f9abcfe54976d2389e91e42bf5c09","ref":"refs/heads/murec_artifact","pushedAt":"2023-05-16T09:33:01.893Z","pushType":"push","commitsCount":2,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"typos in comments","shortMessageHtmlLink":"typos in comments"}},{"before":"435dd3d7018326a82c46d037ab91840d1ea6e3c9","after":"f34ddf7bdeca06557139414228a85022df581db7","ref":"refs/heads/murec_artifact","pushedAt":"2023-05-15T10:03:19.638Z","pushType":"push","commitsCount":1,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"unit + hide diffs","shortMessageHtmlLink":"unit + hide diffs"}},{"before":"f9106ee4da876554eb521cdc9a8fdcb3ae404fb3","after":"9a682b365acf1c1899119d81aba8cd23e413be5f","ref":"refs/heads/murec_artifact_hide","pushedAt":"2023-05-15T10:01:24.745Z","pushType":"push","commitsCount":7,"pusher":{"login":"DmxLarchey","name":"Dominique Larchey-Wendling","path":"/DmxLarchey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1826363?s=80&v=4"},"commit":{"message":"Merge branch 'murec_artifact' into murec_artifact_hide","shortMessageHtmlLink":"Merge branch 'murec_artifact' into murec_artifact_hide"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD8WzgCAA","startCursor":null,"endCursor":null}},"title":"Activity · DmxLarchey/Murec_Extraction"}