{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":435301165,"defaultBranch":"master","name":"tptp-utils","ownerLogin":"leoprover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-12-05T23:11:01.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/30048677?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1678963513.417183","currentOid":""},"activityList":{"items":[{"before":"d02e088e853532377a054397f8684f40725ce4d6","after":"60b3c5bc5cf25bcbfca416af513280cd7f20cf15","ref":"refs/heads/master","pushedAt":"2024-02-14T08:07:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"bump version in code and update scala lang","shortMessageHtmlLink":"bump version in code and update scala lang"}},{"before":"de64e6d2c9cd10e668ebea782ed97e9a86747947","after":"d02e088e853532377a054397f8684f40725ce4d6","ref":"refs/heads/master","pushedAt":"2023-03-27T08:15:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"bump parser library version","shortMessageHtmlLink":"bump parser library version"}},{"before":"36abb25c09000f983f460ee2b34d1dc8e3a5a166","after":"de64e6d2c9cd10e668ebea782ed97e9a86747947","ref":"refs/heads/master","pushedAt":"2023-03-16T10:37:25.133Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"adapt code to parser changes","shortMessageHtmlLink":"adapt code to parser changes"}},{"before":"d7e1f66dbb6fb55355195866af26d537484385d5","after":"36abb25c09000f983f460ee2b34d1dc8e3a5a166","ref":"refs/heads/master","pushedAt":"2023-03-16T09:34:48.354Z","pushType":"push","commitsCount":1,"pusher":{"login":"lex-lex","name":"Alexander Steen","path":"/lex-lex","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/822414?s=80&v=4"},"commit":{"message":"bump versions, update copyright year in LICENSE, print problem on successful parse","shortMessageHtmlLink":"bump versions, update copyright year in LICENSE, print problem on suc…"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD-kp8TQA","startCursor":null,"endCursor":null}},"title":"Activity · leoprover/tptp-utils"}