{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":693139431,"defaultBranch":"master","name":"dafny","ownerLogin":"xgqt","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-09-18T12:34:20.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/47485207?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1695043353.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"a7e26623c9ff3136e32c9520934a23e100c9eac0","ref":"refs/heads/feature-gentoo-tweaks","pushedAt":"2023-09-18T13:22:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"xgqt","name":"Maciej Barć","path":"/xgqt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47485207?s=80&v=4"},"commit":{"message":"Test/lit.site.cfg: first use boogie found in PATH\n\nSigned-off-by: Maciej Barć <xgqt@gentoo.org>","shortMessageHtmlLink":"Test/lit.site.cfg: first use boogie found in PATH"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADgwVpAQA","startCursor":null,"endCursor":null}},"title":"Activity · xgqt/dafny"}