{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":338562817,"defaultBranch":"master","name":"Actuary","ownerLogin":"Yosuke-Ito-345","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-02-13T11:49:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/79005871?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1699616602.0","currentOid":""},"activityList":{"items":[{"before":"d6348c2c32fe6f3cc5aa1e8d6e6625f6aead4505","after":null,"ref":"refs/heads/update_for_CoqPlatform.2023.03","pushedAt":"2023-11-10T11:31:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Yosuke-Ito-345","name":"Yosuke Ito","path":"/Yosuke-Ito-345","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79005871?s=80&v=4"}},{"before":"1e8aa2955b242a2c4e8123b3cfb90dc54480eb1a","after":"e031068ff3348488c055a93816d6c28730bcc1b3","ref":"refs/heads/master","pushedAt":"2023-11-10T11:29:18.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"Yosuke-Ito-345","name":"Yosuke Ito","path":"/Yosuke-Ito-345","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79005871?s=80&v=4"},"commit":{"message":"Merge pull request #8 from Yosuke-Ito-345/update_for_CoqPlatform.2023.03\n\nupdate_for_CoqPlatform.2023.03","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1975985750\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Yosuke-Ito-345/Actuary/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Yosuke-Ito-345/Actuary/pull/8/hovercard\" href=\"https://github.com/Yosuke-Ito-345/Actuary/pull/8\">#8</a> from Yosuke-Ito-345/update_for_CoqPlatform.2023.03"}},{"before":"7ba20c9de0d6682d4269c284b11de500088d6f07","after":"d6348c2c32fe6f3cc5aa1e8d6e6625f6aead4505","ref":"refs/heads/update_for_CoqPlatform.2023.03","pushedAt":"2023-11-10T11:28:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yosuke-Ito-345","name":"Yosuke Ito","path":"/Yosuke-Ito-345","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79005871?s=80&v=4"},"commit":{"message":"Update README.md\r\n\r\nThank you for the advice. I adopt this description.\n\nCo-authored-by: Karl Palmskog <palmskog@gmail.com>","shortMessageHtmlLink":"Update README.md"}},{"before":"605b021549ea8684dfd17e1458643732d13efe4e","after":"7ba20c9de0d6682d4269c284b11de500088d6f07","ref":"refs/heads/update_for_CoqPlatform.2023.03","pushedAt":"2023-11-10T11:26:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Yosuke-Ito-345","name":"Yosuke Ito","path":"/Yosuke-Ito-345","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79005871?s=80&v=4"},"commit":{"message":"Update _CoqProject\r\n\r\nI got it! Thank you for the suggestion.\n\nCo-authored-by: Karl Palmskog <palmskog@gmail.com>","shortMessageHtmlLink":"Update _CoqProject"}},{"before":null,"after":"605b021549ea8684dfd17e1458643732d13efe4e","ref":"refs/heads/update_for_CoqPlatform.2023.03","pushedAt":"2023-11-03T11:13:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Yosuke-Ito-345","name":"Yosuke Ito","path":"/Yosuke-Ito-345","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79005871?s=80&v=4"},"commit":{"message":"update_for_CoqPlatform.2023.03","shortMessageHtmlLink":"update_for_CoqPlatform.2023.03"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADrCKCBAA","startCursor":null,"endCursor":null}},"title":"Activity · Yosuke-Ito-345/Actuary"}