{"payload":{"attestations":[],"pageInfo":null,"repo":{"id":687032568,"defaultBranch":"main","name":"math-in-type-theory-ja","ownerLogin":"lean-ja","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-09-04T13:08:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/144012457?v=4","public":true,"private":false,"isOrgOwned":true},"feedbackUrl":"https://github.com/orgs/community/discussions/122028"},"title":"Attestations · lean-ja/math-in-type-theory-ja"}