{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":84448746,"defaultBranch":"master","name":"tarjan","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-03-09T14:05:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1691328976.0","currentOid":""},"activityList":{"items":[{"before":"bc1a185a6f0e1437794cc13e29ff341878bf1a57","after":null,"ref":"refs/heads/fix-boilerplate","pushedAt":"2023-07-01T00:18:19.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":"8efbcdc59793c1f108e2e05769c5e6830c425f5d","after":"2a45b5543e036b02e7a3cbd7efb6a0d6cc5756c1","ref":"refs/heads/master","pushedAt":"2023-07-01T00:18:16.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 #26 from coq-community/fix-boilerplate\n\nupdate repo location in metadata, record Hierarchy Builder as dep","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1783235712\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/tarjan/issues/26\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/tarjan/pull/26/hovercard\" href=\"https://github.com/coq-community/tarjan/pull/26\">#26</a> from coq-community/fix-boilerplate"}},{"before":null,"after":"bc1a185a6f0e1437794cc13e29ff341878bf1a57","ref":"refs/heads/fix-boilerplate","pushedAt":"2023-06-30T22:52:08.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 repo location in metadata, record Hierarchy Builder explicitly as dependency","shortMessageHtmlLink":"update repo location in metadata, record Hierarchy Builder explicitly…"}},{"before":"107e09d9e1ef846024dc0953021340ee39abe7bf","after":"8efbcdc59793c1f108e2e05769c5e6830c425f5d","ref":"refs/heads/master","pushedAt":"2023-06-19T17:59:34.202Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #24 from proux01/hierarchy-builder\n\nPort to MathComp 2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1748045218\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/tarjan/issues/24\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/tarjan/pull/24/hovercard\" href=\"https://github.com/coq-community/tarjan/pull/24\">#24</a> from proux01/hierarchy-builder"}},{"before":"a726e95025b42df936ee1e0ebf7094c26fd573a1","after":null,"ref":"refs/heads/mc-1-community-update","pushedAt":"2023-06-19T13:57:14.170Z","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":"1087e2332d981f37677b5ecc6bbebf85020f9c07","after":"107e09d9e1ef846024dc0953021340ee39abe7bf","ref":"refs/heads/master","pushedAt":"2023-06-19T13:57:11.150Z","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 #25 from coq-community/mc-1-community-update\n\nmeta update for coq-community, test up to MathComp 1.17 and Coq 8.17","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1763472372\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/tarjan/issues/25\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/tarjan/pull/25/hovercard\" href=\"https://github.com/coq-community/tarjan/pull/25\">#25</a> from coq-community/mc-1-community-update"}},{"before":"e7072be73fad99d84189da0e0121569176c5331a","after":"a726e95025b42df936ee1e0ebf7094c26fd573a1","ref":"refs/heads/mc-1-community-update","pushedAt":"2023-06-19T12:53:01.086Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"meta update for coq-community, test up to MathComp 1.17 and Coq 8.17","shortMessageHtmlLink":"meta update for coq-community, test up to MathComp 1.17 and Coq 8.17"}},{"before":null,"after":"e7072be73fad99d84189da0e0121569176c5331a","ref":"refs/heads/mc-1-community-update","pushedAt":"2023-06-19T12:46:53.402Z","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":"meta update for coq-community, test up to MathComp 1.17 and Coq 8.17","shortMessageHtmlLink":"meta update for coq-community, test up to MathComp 1.17 and Coq 8.17"}},{"before":"afc3e6f51db80bc6171ff882caec5433b6290b50","after":"1087e2332d981f37677b5ecc6bbebf85020f9c07","ref":"refs/heads/master","pushedAt":"2023-04-15T14:18:00.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"Merge pull request #23 from proux01/coq817\n\nAdapt to Coq 8.17","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1668835115\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/tarjan/issues/23\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/tarjan/pull/23/hovercard\" href=\"https://github.com/coq-community/tarjan/pull/23\">#23</a> from proux01/coq817"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADTJ-qKQA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/tarjan"}