{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":81471304,"defaultBranch":"master","name":"FormaleSysteme","ownerLogin":"knowsys","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-02-09T16:38:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/40864390?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1712470050.0","currentOid":""},"activityList":{"items":[{"before":"df69e0f8c7a32f88074d55bee68a2454bc8f8fe2","after":"1a88f8fa9c30e8227257e15b9dc77a8826044323","ref":"refs/heads/master","pushedAt":"2024-04-07T05:54:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"small corection","shortMessageHtmlLink":"small corection"}},{"before":"f598b97f0d4f0d66389a65b0e13013610222dbbe","after":"df69e0f8c7a32f88074d55bee68a2454bc8f8fe2","ref":"refs/heads/master","pushedAt":"2024-01-22T09:23:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2024, added overview table","shortMessageHtmlLink":"update for 2024, added overview table"}},{"before":"7761d498e70c5af5140f6dbf5c2fe1e014387808","after":"f598b97f0d4f0d66389a65b0e13013610222dbbe","ref":"refs/heads/master","pushedAt":"2024-01-22T08:43:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"layout fix","shortMessageHtmlLink":"layout fix"}},{"before":"aec51dcec26eff9ebcaf13bbc0edfe406ac3f952","after":"7761d498e70c5af5140f6dbf5c2fe1e014387808","ref":"refs/heads/master","pushedAt":"2024-01-18T10:14:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2024","shortMessageHtmlLink":"update for 2024"}},{"before":"bece3865807b82825e3fe4c158e250b4b27e60b8","after":"aec51dcec26eff9ebcaf13bbc0edfe406ac3f952","ref":"refs/heads/master","pushedAt":"2024-01-15T07:22:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"typo","shortMessageHtmlLink":"typo"}},{"before":"a56d132c2007980ab4baa8fb9b530513caa0ec80","after":"bece3865807b82825e3fe4c158e250b4b27e60b8","ref":"refs/heads/master","pushedAt":"2024-01-15T07:20:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2024","shortMessageHtmlLink":"update for 2024"}},{"before":"3b1c61b20aceacb0ac1ee2c8b97dcda3b7ac322c","after":"a56d132c2007980ab4baa8fb9b530513caa0ec80","ref":"refs/heads/master","pushedAt":"2024-01-08T07:05:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2024","shortMessageHtmlLink":"update for 2024"}},{"before":"d22f3049e58d70be24caa23af90b4d8d3702fb56","after":"3b1c61b20aceacb0ac1ee2c8b97dcda3b7ac322c","ref":"refs/heads/master","pushedAt":"2024-01-08T06:37:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/knowsys/FormaleSysteme","shortMessageHtmlLink":"Merge branch 'master' of <a href=\"https://github.com/knowsys/FormaleSysteme\">https://github.com/knowsys/FormaleSysteme</a>"}},{"before":"97f4df8534e8e70271a4d8b95bc6f1eaa86eea57","after":"d22f3049e58d70be24caa23af90b4d8d3702fb56","ref":"refs/heads/master","pushedAt":"2024-01-07T15:18:03.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mmarx","name":"Maximilian Marx","path":"/mmarx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/675854?s=80&v=4"},"commit":{"message":"Merge pull request #51 from PhilippRiegelmann/patch-1\n\nFixed Typo","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2069129549\" data-permission-text=\"Title is private\" data-url=\"https://github.com/knowsys/FormaleSysteme/issues/51\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/knowsys/FormaleSysteme/pull/51/hovercard\" href=\"https://github.com/knowsys/FormaleSysteme/pull/51\">#51</a> from PhilippRiegelmann/patch-1"}},{"before":"593f3be74db03ec46a1bcc9a9ad1196ce1c70a6c","after":"97f4df8534e8e70271a4d8b95bc6f1eaa86eea57","ref":"refs/heads/master","pushedAt":"2024-01-04T13:51:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2024","shortMessageHtmlLink":"update for 2024"}},{"before":"a9e8e929737bea71220c5995051594de594d6152","after":"593f3be74db03ec46a1bcc9a9ad1196ce1c70a6c","ref":"refs/heads/master","pushedAt":"2023-12-19T06:47:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"correction of example sequence","shortMessageHtmlLink":"correction of example sequence"}},{"before":"1efb0616e1a86bc44840b45ba60cddccfcbfec80","after":"a9e8e929737bea71220c5995051594de594d6152","ref":"refs/heads/master","pushedAt":"2023-12-18T09:41:59.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/knowsys/FormaleSysteme","shortMessageHtmlLink":"Merge branch 'master' of <a href=\"https://github.com/knowsys/FormaleSysteme\">https://github.com/knowsys/FormaleSysteme</a>"}},{"before":"e5b4b2463c0d1e9e1d2f0013d44d7376dcf222c4","after":"1efb0616e1a86bc44840b45ba60cddccfcbfec80","ref":"refs/heads/master","pushedAt":"2023-12-07T12:21:45.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mmarx","name":"Maximilian Marx","path":"/mmarx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/675854?s=80&v=4"},"commit":{"message":"Merge pull request #50 from DragonCat4012/patch-1\n\nFIX typo lecture 17","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2030625940\" data-permission-text=\"Title is private\" data-url=\"https://github.com/knowsys/FormaleSysteme/issues/50\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/knowsys/FormaleSysteme/pull/50/hovercard\" href=\"https://github.com/knowsys/FormaleSysteme/pull/50\">#50</a> from DragonCat4012/patch-1"}},{"before":"8d67e7381d1c988504320daa20c3e042feb6a3a8","after":"e5b4b2463c0d1e9e1d2f0013d44d7376dcf222c4","ref":"refs/heads/master","pushedAt":"2023-12-04T12:45:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2023","shortMessageHtmlLink":"update for 2023"}},{"before":"574a0cb3ca8459f779e343fb566a5da5878188cb","after":"8d67e7381d1c988504320daa20c3e042feb6a3a8","ref":"refs/heads/master","pushedAt":"2023-11-30T11:34:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2023","shortMessageHtmlLink":"update for 2023"}},{"before":"6c47e98adb9c240fecb941e78d8099001a69aacb","after":"574a0cb3ca8459f779e343fb566a5da5878188cb","ref":"refs/heads/master","pushedAt":"2023-11-27T13:06:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"smaller clarifications after lecture","shortMessageHtmlLink":"smaller clarifications after lecture"}},{"before":"d304546ae8a672677df7613220142fa511cd61d7","after":"6c47e98adb9c240fecb941e78d8099001a69aacb","ref":"refs/heads/master","pushedAt":"2023-11-27T09:11:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2023","shortMessageHtmlLink":"update for 2023"}},{"before":"09010dabed175ac5ea070c555687def023f2842d","after":"d304546ae8a672677df7613220142fa511cd61d7","ref":"refs/heads/master","pushedAt":"2023-11-23T14:09:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"fixed date","shortMessageHtmlLink":"fixed date"}},{"before":"d0ef9e5168ed4731a06d34d2caa45f09ba2fb5f6","after":"09010dabed175ac5ea070c555687def023f2842d","ref":"refs/heads/master","pushedAt":"2023-11-20T09:41:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2023","shortMessageHtmlLink":"update for 2023"}},{"before":"8b2c9e2e5084106ccb3fd4434bfb066b6b8753ae","after":"d0ef9e5168ed4731a06d34d2caa45f09ba2fb5f6","ref":"refs/heads/master","pushedAt":"2023-11-16T10:31:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2023","shortMessageHtmlLink":"update for 2023"}},{"before":"d4c239a76ff14ce9e327e153c8dcd83a7fa8a6f4","after":"8b2c9e2e5084106ccb3fd4434bfb066b6b8753ae","ref":"refs/heads/master","pushedAt":"2023-11-13T07:57:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2023","shortMessageHtmlLink":"update for 2023"}},{"before":"8ed79ab9d4d7e10b244ca87c78b6753e0e67ef5f","after":"d4c239a76ff14ce9e327e153c8dcd83a7fa8a6f4","ref":"refs/heads/master","pushedAt":"2023-11-06T09:19:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2023","shortMessageHtmlLink":"update for 2023"}},{"before":"5d996a20e91daff84b96d8c8c6d6cf8d489a75c5","after":"8ed79ab9d4d7e10b244ca87c78b6753e0e67ef5f","ref":"refs/heads/master","pushedAt":"2023-11-02T14:33:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"better notation, z is for Zwischenzustand","shortMessageHtmlLink":"better notation, z is for Zwischenzustand"}},{"before":"46acac42db681d5736b3d0e32f4cd21f63a8a7c4","after":"5d996a20e91daff84b96d8c8c6d6cf8d489a75c5","ref":"refs/heads/master","pushedAt":"2023-11-02T10:24:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2023","shortMessageHtmlLink":"update for 2023"}},{"before":"bb16caf45a40416e5948af85ff08778345bee9e0","after":"46acac42db681d5736b3d0e32f4cd21f63a8a7c4","ref":"refs/heads/master","pushedAt":"2023-10-30T09:46:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"build version without overlays, but not n-upped","shortMessageHtmlLink":"build version without overlays, but not n-upped"}},{"before":"f3264d0cd46688cdba73bc73ecd9bd3702f2ec85","after":"bb16caf45a40416e5948af85ff08778345bee9e0","ref":"refs/heads/master","pushedAt":"2023-10-30T09:33:22.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2023","shortMessageHtmlLink":"update for 2023"}},{"before":"767542f2b955250983b83b434c09f29d90aa59cc","after":"f3264d0cd46688cdba73bc73ecd9bd3702f2ec85","ref":"refs/heads/master","pushedAt":"2023-10-23T08:43:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2023","shortMessageHtmlLink":"update for 2023"}},{"before":"bc86c9696c061a2f4665da06850540522a5be1de","after":"767542f2b955250983b83b434c09f29d90aa59cc","ref":"refs/heads/master","pushedAt":"2023-10-16T09:07:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"layout improvements for table","shortMessageHtmlLink":"layout improvements for table"}},{"before":"bd099510a45350595e2845ba9fdba54101463164","after":"bc86c9696c061a2f4665da06850540522a5be1de","ref":"refs/heads/master","pushedAt":"2023-10-15T19:04:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2023","shortMessageHtmlLink":"update for 2023"}},{"before":"5042f96d1352460008a9d8cc44db0755deaf0c54","after":"bd099510a45350595e2845ba9fdba54101463164","ref":"refs/heads/master","pushedAt":"2023-10-15T18:48:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mkroetzsch","name":"Markus Krötzsch","path":"/mkroetzsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/110881?s=80&v=4"},"commit":{"message":"update for 2023","shortMessageHtmlLink":"update for 2023"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEKfVaygA","startCursor":null,"endCursor":null}},"title":"Activity · knowsys/FormaleSysteme"}