{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":108629089,"defaultBranch":"master","name":"ase17tutorial","ownerLogin":"vprover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-10-28T07:29:52.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6704909?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1509333338.0","currentOid":""},"activityList":{"items":[],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"","startCursor":null,"endCursor":null}},"title":"Activity · vprover/ase17tutorial"}