{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":338990146,"defaultBranch":"main","name":"sf-opam-coq-archive","ownerLogin":"snu-sf","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-02-15T06:47:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8771070?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1649478637.9956632","currentOid":""},"activityList":{"items":[{"before":"a28e76e8b787b760495d33e6853bce2ca6637db1","after":"e426499b45d8d45010bf65dc260fe7f1df09d7d5","ref":"refs/heads/main","pushedAt":"2024-01-12T04:09:40.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"hilyun07","name":"Jaehyung Lee","path":"/hilyun07","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86651304?s=80&v=4"},"commit":{"message":"Merge pull request #2 from hilyun07/main\n\nseparate coq-sflib version","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2078011107\" data-permission-text=\"Title is private\" data-url=\"https://github.com/snu-sf/sf-opam-coq-archive/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/snu-sf/sf-opam-coq-archive/pull/2/hovercard\" href=\"https://github.com/snu-sf/sf-opam-coq-archive/pull/2\">#2</a> from hilyun07/main"}},{"before":"6ac954c91a9ba64638a0c341e7412942cbcc733a","after":"a28e76e8b787b760495d33e6853bce2ca6637db1","ref":"refs/heads/main","pushedAt":"2023-07-12T07:11:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"minkiminki","name":"Minki Cho","path":"/minkiminki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14102618?s=80&v=4"},"commit":{"message":"Update opam","shortMessageHtmlLink":"Update opam"}},{"before":"04c8c98f854bd069ee026f1a8af7aa147fc3ef9b","after":"6ac954c91a9ba64638a0c341e7412942cbcc733a","ref":"refs/heads/main","pushedAt":"2023-07-12T07:11:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"minkiminki","name":"Minki Cho","path":"/minkiminki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14102618?s=80&v=4"},"commit":{"message":"Update opam","shortMessageHtmlLink":"Update opam"}},{"before":"cf383d2df613ded09cf4e46d59ace83ed7786f28","after":"04c8c98f854bd069ee026f1a8af7aa147fc3ef9b","ref":"refs/heads/main","pushedAt":"2023-07-12T07:10:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"minkiminki","name":"Minki Cho","path":"/minkiminki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14102618?s=80&v=4"},"commit":{"message":"Update opam","shortMessageHtmlLink":"Update opam"}},{"before":"2fb993fd9044e44ca8c52275e3b640e83e807770","after":"cf383d2df613ded09cf4e46d59ace83ed7786f28","ref":"refs/heads/main","pushedAt":"2023-05-31T04:39:33.027Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"minkiminki","name":"Minki Cho","path":"/minkiminki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14102618?s=80&v=4"},"commit":{"message":"Merge pull request #1 from Yeonwoo-Nam/patch-1\n\nUpdate opam","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1733373566\" data-permission-text=\"Title is private\" data-url=\"https://github.com/snu-sf/sf-opam-coq-archive/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/snu-sf/sf-opam-coq-archive/pull/1/hovercard\" href=\"https://github.com/snu-sf/sf-opam-coq-archive/pull/1\">#1</a> from Yeonwoo-Nam/patch-1"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0xMlQwNDowOTo0MC4wMDAwMDBazwAAAAPd3DTM","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNS0zMVQwNDozOTozMy4wMjc0ODlazwAAAAM3fsae"}},"title":"Activity · snu-sf/sf-opam-coq-archive"}