{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":34494689,"defaultBranch":"master","name":"sflib","ownerLogin":"snu-sf","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-04-24T02:57:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8771070?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1704701008.0","currentOid":""},"activityList":{"items":[{"before":"2203ecc62fef14c2204f10329f2cc85f5bc4f108","after":"9c313403f370738ab1e4bdd51aeddbe6275a4932","ref":"refs/heads/master","pushedAt":"2024-01-12T03:16:42.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"hilyun07","name":"Jaehyung Lee","path":"/hilyun07","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/86651304?s=80&v=4"},"commit":{"message":"Merge pull request #15 from LimitEpsilon/8.18\n\nFix deprecated tactics for Coq 8.18","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1900141657\" data-permission-text=\"Title is private\" data-url=\"https://github.com/snu-sf/sflib/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/snu-sf/sflib/pull/15/hovercard\" href=\"https://github.com/snu-sf/sflib/pull/15\">#15</a> from LimitEpsilon/8.18"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD3danTgA","startCursor":null,"endCursor":null}},"title":"Activity · snu-sf/sflib"}