{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":56243718,"defaultBranch":"master","name":"aac-tactics","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-04-14T14:22:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725354715.0","currentOid":""},"activityList":{"items":[{"before":"27fb44550f27c5a6e1d882ac48c721ec11ffb371","after":"ea541ff84e545a797af4ce4c3c830bd2b0c5aaa1","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-16T15:16:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/coq/coq/pull/19530","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2519789622\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19530\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19530/hovercard\" href=\"https://github.com/coq/coq/pull/19530\">coq/coq#19530</a>"}},{"before":"27fb44550f27c5a6e1d882ac48c721ec11ffb371","after":null,"ref":"refs/heads/split_stdlib","pushedAt":"2024-09-03T09:11:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":null,"after":"27fb44550f27c5a6e1d882ac48c721ec11ffb371","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-03T09:11:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to split_stdlib","shortMessageHtmlLink":"Adapt to split_stdlib"}},{"before":null,"after":"27fb44550f27c5a6e1d882ac48c721ec11ffb371","ref":"refs/heads/split_stdlib","pushedAt":"2024-07-20T14:51:20.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to split_stdlib","shortMessageHtmlLink":"Adapt to split_stdlib"}},{"before":"d99367610566352c7489cb1b01f2e1344f60489f","after":"a0fc027d2f5370ec3bfa2e577b186731879fbce5","ref":"refs/heads/gh-pages","pushedAt":"2024-07-14T09:03:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"186dd60bf2169175395a8f973a2ac0780f910b07","after":null,"ref":"refs/heads/coq_19310","pushedAt":"2024-07-14T09:02:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"10f7744257649a4b8905610f10a6a250c858ecae","after":"109af844f39bf541823271e45e42e40069f3c2c4","ref":"refs/heads/master","pushedAt":"2024-07-14T09:02:06.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #148 from coq-community/coq_19310\n\nAdapt to https://github.com/coq/coq/pull/19310","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2407334727\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/aac-tactics/issues/148\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/aac-tactics/pull/148/hovercard\" href=\"https://github.com/coq-community/aac-tactics/pull/148\">#148</a> from coq-community/coq_19310"}},{"before":null,"after":"186dd60bf2169175395a8f973a2ac0780f910b07","ref":"refs/heads/coq_19310","pushedAt":"2024-07-06T11:43:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/coq/coq/pull/19310","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2388171404\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19310\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19310/hovercard\" href=\"https://github.com/coq/coq/pull/19310\">coq/coq#19310</a>"}},{"before":"7925dec1538df1e194ddbf3de6fab661c8ff5709","after":"d99367610566352c7489cb1b01f2e1344f60489f","ref":"refs/heads/gh-pages","pushedAt":"2024-06-29T22:17:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"3283df85eab69666d18649b60745a24dbb2e0f97","after":"10f7744257649a4b8905610f10a6a250c858ecae","ref":"refs/heads/master","pushedAt":"2024-06-29T22:15:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"update changelog","shortMessageHtmlLink":"update changelog"}},{"before":"50044b03817bb8844ce814d482c64b5e63e4274c","after":null,"ref":"refs/heads/v8.20+nix","pushedAt":"2024-06-29T20:54:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"251b7fa03535e6e1668311998e45c99ef5f19d43","after":"528ae4ffff5295a14212a59eb3c0bdd8b440cde7","ref":"refs/heads/v8.20","pushedAt":"2024-06-29T20:54:08.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #147 from coq-community/v8.20+nix\n\nreactivate Nix CI for 8.20","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2381954881\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/aac-tactics/issues/147\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/aac-tactics/pull/147/hovercard\" href=\"https://github.com/coq-community/aac-tactics/pull/147\">#147</a> from coq-community/v8.20+nix"}},{"before":null,"after":"50044b03817bb8844ce814d482c64b5e63e4274c","ref":"refs/heads/v8.20+nix","pushedAt":"2024-06-29T20:50:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"reactivate Nix CI for 8.20","shortMessageHtmlLink":"reactivate Nix CI for 8.20"}},{"before":"341d406b4365bca8fbc235540827003825ed0a40","after":"7925dec1538df1e194ddbf3de6fab661c8ff5709","ref":"refs/heads/gh-pages","pushedAt":"2024-06-29T20:48:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"5c133d3d0f8d0425769837ce8a085b0378608c1a","after":"3283df85eab69666d18649b60745a24dbb2e0f97","ref":"refs/heads/master","pushedAt":"2024-06-29T20:46:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"try to make tactics and their options clearer in the tutorial","shortMessageHtmlLink":"try to make tactics and their options clearer in the tutorial"}},{"before":"dd5125233f7442ee564dd887e3515860106de4a8","after":"341d406b4365bca8fbc235540827003825ed0a40","ref":"refs/heads/gh-pages","pushedAt":"2024-06-27T19:24:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"2b36bb1d9685266d40ff7a61dccd0b0c84e1e1ae","after":"251b7fa03535e6e1668311998e45c99ef5f19d43","ref":"refs/heads/v8.20","pushedAt":"2024-06-27T19:23:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"add tests for try aac_rewrite and try aac_normalise","shortMessageHtmlLink":"add tests for try aac_rewrite and try aac_normalise"}},{"before":"8f5ebce6d09c1dc6ff37310a3b827c3f084497a5","after":null,"ref":"refs/heads/add-try-test","pushedAt":"2024-06-27T19:22:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"8ba7a8b2c5ce80859e9645c89ebe39c33948525c","after":"5c133d3d0f8d0425769837ce8a085b0378608c1a","ref":"refs/heads/master","pushedAt":"2024-06-27T19:22:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #145 from coq-community/add-try-test\n\nadd tests for try aac_rewrite and try aac_normalise","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2378883029\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/aac-tactics/issues/145\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/aac-tactics/pull/145/hovercard\" href=\"https://github.com/coq-community/aac-tactics/pull/145\">#145</a> from coq-community/add-try-test"}},{"before":null,"after":"8f5ebce6d09c1dc6ff37310a3b827c3f084497a5","ref":"refs/heads/add-try-test","pushedAt":"2024-06-27T18:52:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"add tests for try aac_rewrite and try aac_normalise","shortMessageHtmlLink":"add tests for try aac_rewrite and try aac_normalise"}},{"before":"39c484d1a618b52ce156b448933600a110519be0","after":"2b36bb1d9685266d40ff7a61dccd0b0c84e1e1ae","ref":"refs/heads/v8.20","pushedAt":"2024-06-21T07:50:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"disable Nix CI","shortMessageHtmlLink":"disable Nix CI"}},{"before":"cb8f5d584ac77f63432c4834d7778aa66024e200","after":"39c484d1a618b52ce156b448933600a110519be0","ref":"refs/heads/v8.20","pushedAt":"2024-06-20T22:31:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"remove deploy-docs CI workflow","shortMessageHtmlLink":"remove deploy-docs CI workflow"}},{"before":null,"after":"cb8f5d584ac77f63432c4834d7778aa66024e200","ref":"refs/heads/v8.20","pushedAt":"2024-06-20T22:05:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"update boilerplate for 8.20","shortMessageHtmlLink":"update boilerplate for 8.20"}},{"before":"aa70a2d40b4bf659cccc187b25cff03a08f5a63f","after":"8ba7a8b2c5ce80859e9645c89ebe39c33948525c","ref":"refs/heads/master","pushedAt":"2024-06-20T22:04:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"silence warning 67 in Dune build","shortMessageHtmlLink":"silence warning 67 in Dune build"}},{"before":"ac7baada2a5c9464ecb180e4aa0ef63ab97b15c3","after":"dd5125233f7442ee564dd887e3515860106de4a8","ref":"refs/heads/gh-pages","pushedAt":"2024-06-01T13:05:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"0e3c19eaf9cf6835f161fdce0e1857f366c41b7e","after":null,"ref":"refs/heads/canonical-ordering-master","pushedAt":"2024-06-01T13:03:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"22aceb23fc21926d6b1797e47177e324a25e643d","after":"aa70a2d40b4bf659cccc187b25cff03a08f5a63f","ref":"refs/heads/master","pushedAt":"2024-06-01T13:03:18.000Z","pushType":"pr_merge","commitsCount":12,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #143 from coq-community/canonical-ordering-master\n\nCanonical ordering for aac_normalise tactic in master","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2329128561\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/aac-tactics/issues/143\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/aac-tactics/pull/143/hovercard\" href=\"https://github.com/coq-community/aac-tactics/pull/143\">#143</a> from coq-community/canonical-ordering-master"}},{"before":"d56ffd3a5cd558cdc963c4b6fb711f39caa37e20","after":"0e3c19eaf9cf6835f161fdce0e1857f366c41b7e","ref":"refs/heads/canonical-ordering-master","pushedAt":"2024-06-01T13:00:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"fix deployment boilerplate","shortMessageHtmlLink":"fix deployment boilerplate"}},{"before":"3a1038937f54007c7427b81dfeb9e880beabfe77","after":"d56ffd3a5cd558cdc963c4b6fb711f39caa37e20","ref":"refs/heads/canonical-ordering-master","pushedAt":"2024-06-01T12:54:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"use standard changelog format","shortMessageHtmlLink":"use standard changelog format"}},{"before":"46abd8f37e84cfdc327e96de4fcb4bbbaf91adbe","after":"10cd93d038350ff6fb02497ece345f4f155ec208","ref":"refs/heads/v8.19","pushedAt":"2024-06-01T12:48:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"fix changelog URLs","shortMessageHtmlLink":"fix changelog URLs"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxNToxNjowMy4wMDAwMDBazwAAAAS3lWjb","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxNToxNjowMy4wMDAwMDBazwAAAAS3lWjb","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0wMVQxMjo0ODo0OC4wMDAwMDBazwAAAARZuUgD"}},"title":"Activity · coq-community/aac-tactics"}