{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":105451127,"defaultBranch":"master","name":"cross-crypto","ownerLogin":"mit-plv","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2017-10-01T15:14:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11860253?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1642555616.298393","currentOid":""},"activityList":{"items":[{"before":"2a0a2c37f673bb02526c72caeb441b712d17d13e","after":"208894a6efd2fe952eb384918cf38403e8a7cc15","ref":"refs/heads/master","pushedAt":"2024-04-11T15:26:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"Adapt w.r.t. coq/coq#18895.","shortMessageHtmlLink":"Adapt w.r.t. <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2227671238\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18895\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18895/hovercard\" href=\"https://github.com/coq/coq/pull/18895\">coq/coq#18895</a>."}},{"before":"c46bbe27ef7a05a82f744230c6f2d5f1fdefdaaa","after":"2a0a2c37f673bb02526c72caeb441b712d17d13e","ref":"refs/heads/master","pushedAt":"2024-02-29T22:24:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"bump fcf","shortMessageHtmlLink":"bump fcf"}},{"before":"2a5aee8a94855c4457a4b456bebe399d24bcd1e5","after":"c46bbe27ef7a05a82f744230c6f2d5f1fdefdaaa","ref":"refs/heads/master","pushedAt":"2023-11-29T07:00:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"Bump fcf to the latest commit","shortMessageHtmlLink":"Bump fcf to the latest commit"}},{"before":"964dc89064da3232ffb202474bf9b775c581ee5c","after":"2a5aee8a94855c4457a4b456bebe399d24bcd1e5","ref":"refs/heads/master","pushedAt":"2023-11-06T19:04:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"Adapt to Coq/Coq#18164","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1943806593\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18164\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18164/hovercard\" href=\"https://github.com/coq/coq/pull/18164\">coq/coq#18164</a>"}},{"before":"56ca2e882a151ed916cdcbc5be24fb5998fd183b","after":"964dc89064da3232ffb202474bf9b775c581ee5c","ref":"refs/heads/master","pushedAt":"2023-05-03T14:55:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"Adapt w.r.t. coq/coq#17564.","shortMessageHtmlLink":"Adapt w.r.t. <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1693968675\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/17564\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/17564/hovercard\" href=\"https://github.com/coq/coq/pull/17564\">coq/coq#17564</a>."}},{"before":"b1971700a6d74510983ade2b6c9762c35ffcfdd2","after":"56ca2e882a151ed916cdcbc5be24fb5998fd183b","ref":"refs/heads/master","pushedAt":"2023-03-10T20:49:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"bump fcf","shortMessageHtmlLink":"bump fcf"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAELkAn_gA","startCursor":null,"endCursor":null}},"title":"Activity · mit-plv/cross-crypto"}