{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":25162376,"defaultBranch":"master","name":"ltsmin","ownerLogin":"utwente-fmt","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-10-13T14:37:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/9006547?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1705063466.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"2c008e111f6a1050099fd59cedd7ca98433d7575","ref":"refs/heads/cmake-conversion","pushedAt":"2024-01-12T12:44:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jacopol","name":"Jaco van de Pol","path":"/jacopol","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6709349?s=80&v=4"},"commit":{"message":"changed refferences from aux to auxiliary to increase compatability with windows","shortMessageHtmlLink":"changed refferences from aux to auxiliary to increase compatability w…"}},{"before":"87823366b1d58a25ff84534acd36e9fcd98b8438","after":"2c008e111f6a1050099fd59cedd7ca98433d7575","ref":"refs/heads/master","pushedAt":"2023-12-23T15:31:18.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jacopol","name":"Jaco van de Pol","path":"/jacopol","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6709349?s=80&v=4"},"commit":{"message":"changed refferences from aux to auxiliary to increase compatability with windows","shortMessageHtmlLink":"changed refferences from aux to auxiliary to increase compatability w…"}},{"before":"8acc4879b730356d28481420adc11d80106cae6b","after":"87823366b1d58a25ff84534acd36e9fcd98b8438","ref":"refs/heads/master","pushedAt":"2023-11-18T20:08:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Upgrade Sylvan to 1.8.1","shortMessageHtmlLink":"Upgrade Sylvan to 1.8.1"}},{"before":"3499bb5afb06c5e955d0df5bb3220eb7b654f3da","after":"8acc4879b730356d28481420adc11d80106cae6b","ref":"refs/heads/master","pushedAt":"2023-11-18T15:44:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"trolando","name":"Tom van Dijk","path":"/trolando","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/613469?s=80&v=4"},"commit":{"message":"Update ltl2ba","shortMessageHtmlLink":"Update ltl2ba"}},{"before":"496a55264c56c715a378b7d8b31762c374563627","after":"3499bb5afb06c5e955d0df5bb3220eb7b654f3da","ref":"refs/heads/master","pushedAt":"2023-06-20T07:22:52.567Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jacopol","name":"Jaco van de Pol","path":"/jacopol","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6709349?s=80&v=4"},"commit":{"message":"Patch missing action label in LTL context","shortMessageHtmlLink":"Patch missing action label in LTL context"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD3jLFBAA","startCursor":null,"endCursor":null}},"title":"Activity · utwente-fmt/ltsmin"}