{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":102462783,"defaultBranch":"master","name":"lingeling","ownerLogin":"arminbiere","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-09-05T09:35:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/21080321?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1710231537.0","currentOid":""},"activityList":{"items":[{"before":"d8451d4acc9c070f84dd83f05d5e3b595c582ff7","after":"c70d677bfaeb0baf25928a964d5965c8089d71c0","ref":"refs/heads/blocked-clause-decomposition","pushedAt":"2024-03-12T08:34:03.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"added xz decompressoin for sblitter","shortMessageHtmlLink":"added xz decompressoin for sblitter"}},{"before":"89a167d0d2efe98d983c87b5b84175b40ea55842","after":"d8451d4acc9c070f84dd83f05d5e3b595c582ff7","ref":"refs/heads/blocked-clause-decomposition","pushedAt":"2024-03-12T08:20:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"added","shortMessageHtmlLink":"added"}},{"before":null,"after":"89a167d0d2efe98d983c87b5b84175b40ea55842","ref":"refs/heads/blocked-clause-decomposition","pushedAt":"2024-03-12T08:18:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"Started with semantic versioning.","shortMessageHtmlLink":"Started with semantic versioning."}},{"before":"72d2b13eea5fbd95557a3d0d199cd98dfbdc76ee","after":"89a167d0d2efe98d983c87b5b84175b40ea55842","ref":"refs/heads/master","pushedAt":"2024-03-05T09:08:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"},"commit":{"message":"Started with semantic versioning.","shortMessageHtmlLink":"Started with semantic versioning."}},{"before":"72d2b13eea5fbd95557a3d0d199cd98dfbdc76ee","after":null,"ref":"refs/tags/rel-1.0.0","pushedAt":"2024-03-05T09:03:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"arminbiere","name":"Armin Biere","path":"/arminbiere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21080321?s=80&v=4"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEEyHJugA","startCursor":null,"endCursor":null}},"title":"Activity · arminbiere/lingeling"}