{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":646558541,"defaultBranch":"main","name":"kani-vscode-extension","ownerLogin":"YoshikiTakashima","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-05-28T19:24:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/26704033?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1685301854.312355","currentOid":""},"activityList":{"items":[{"before":"161a0a40896b0adf405edf5f36b737cdaffc4938","after":"9129cca679b78e537e42aaac437cd38490129299","ref":"refs/heads/main","pushedAt":"2023-07-20T20:57:20.460Z","pushType":"push","commitsCount":15,"pusher":{"login":"YoshikiTakashima","name":"Yoshiki Takashima","path":"/YoshikiTakashima","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26704033?s=80&v=4"},"commit":{"message":"Clarify that the extension only works on Cargo packages (#118)","shortMessageHtmlLink":"Clarify that the extension only works on Cargo packages (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1782763069\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-vscode-extension/issues/118\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-vscode-extension/pull/118/hovercard\" href=\"https://github.com/model-checking/kani-vscode-extension/pull/118\">model-checki…</a>"}},{"before":"161a0a40896b0adf405edf5f36b737cdaffc4938","after":"9129cca679b78e537e42aaac437cd38490129299","ref":"refs/heads/main","pushedAt":"2023-07-20T20:57:20.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"YoshikiTakashima","name":"Yoshiki Takashima","path":"/YoshikiTakashima","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26704033?s=80&v=4"},"commit":{"message":"Clarify that the extension only works on Cargo packages (#118)","shortMessageHtmlLink":"Clarify that the extension only works on Cargo packages (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1782763069\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-vscode-extension/issues/118\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-vscode-extension/pull/118/hovercard\" href=\"https://github.com/model-checking/kani-vscode-extension/pull/118\">model-checki…</a>"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADWe8CEwA","startCursor":null,"endCursor":null}},"title":"Activity · YoshikiTakashima/kani-vscode-extension"}