{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":172911894,"defaultBranch":"master","name":"vampire_publications","ownerLogin":"vprover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-02-27T12:31:23.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6704909?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1681949189.0","currentOid":""},"activityList":{"items":[{"before":"5ec3a9f0b5a7d1f7278759f5cdbf425e7284d747","after":"dec5cb067d486a1738980eb22a2cae4a5c8f65e4","ref":"refs/heads/master","pushedAt":"2023-04-20T00:06:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ibnyusuf","name":null,"path":"/ibnyusuf","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32095361?s=80&v=4"},"commit":{"message":"Adding draft of delayed unification paper","shortMessageHtmlLink":"Adding draft of delayed unification paper"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADHG4R1AA","startCursor":null,"endCursor":null}},"title":"Activity · vprover/vampire_publications"}