{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":584358011,"defaultBranch":"main","name":"Latar","ownerLogin":"KNowledgeOnWebScale","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-01-02T10:41:30.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/69808408?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1672898980.7213252","currentOid":""},"activityList":{"items":[{"before":"aa0ca94648ba1c7d4fa5e5d6b51b6e9fcc93abea","after":"97ec4755904f569d0e6e74d29169e6ebd0971ef3","ref":"refs/heads/main","pushedAt":"2024-07-04T12:24:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Fixing n32s","shortMessageHtmlLink":"Fixing n32s"}},{"before":"66d49fce45049521b95141ea9c689ae4c25da22e","after":"aa0ca94648ba1c7d4fa5e5d6b51b6e9fcc93abea","ref":"refs/heads/main","pushedAt":"2024-07-04T07:16:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Fixing s2n3.sh","shortMessageHtmlLink":"Fixing s2n3.sh"}},{"before":"91dd1b661f81ac6074768b36c6eddd6d42aee55f","after":"66d49fce45049521b95141ea9c689ae4c25da22e","ref":"refs/heads/main","pushedAt":"2024-07-04T06:10:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Refactoring of .s and .n3 generation","shortMessageHtmlLink":"Refactoring of .s and .n3 generation"}},{"before":"2f0d24c0960ba4682bc63d4206e24352aee676eb","after":"91dd1b661f81ac6074768b36c6eddd6d42aee55f","ref":"refs/heads/main","pushedAt":"2024-07-03T05:41:59.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Merge pull request #1 from josd/patch-1\n\nUpdate latar","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2387171550\" data-permission-text=\"Title is private\" data-url=\"https://github.com/KNowledgeOnWebScale/Latar/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/KNowledgeOnWebScale/Latar/pull/1/hovercard\" href=\"https://github.com/KNowledgeOnWebScale/Latar/pull/1\">#1</a> from josd/patch-1"}},{"before":"aa97da40de5255638bcf24fc893b195eb3a4868c","after":"2f0d24c0960ba4682bc63d4206e24352aee676eb","ref":"refs/heads/main","pushedAt":"2024-06-26T07:42:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:KNowledgeOnWebScale/Latar","shortMessageHtmlLink":"Merge branch 'main' of github.com:KNowledgeOnWebScale/Latar"}},{"before":"821036db0bd8af1fe36026593c185cddb7e4d05f","after":"aa97da40de5255638bcf24fc893b195eb3a4868c","ref":"refs/heads/main","pushedAt":"2024-06-09T05:22:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Exit code 2 when detecting a contradiction","shortMessageHtmlLink":"Exit code 2 when detecting a contradiction"}},{"before":"6c99d76166e584a0ea941c5a2633083e805fdca4","after":"821036db0bd8af1fe36026593c185cddb7e4d05f","ref":"refs/heads/main","pushedAt":"2024-05-22T13:14:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Fixing contradiction test","shortMessageHtmlLink":"Fixing contradiction test"}},{"before":"6b02a82f11740eeb296202ff52b9d8d565659621","after":"6c99d76166e584a0ea941c5a2633083e805fdca4","ref":"refs/heads/main","pushedAt":"2024-05-22T09:40:12.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Adding contradiction test","shortMessageHtmlLink":"Adding contradiction test"}},{"before":"c0bc538439e419bff344810f9bcdf9311661a529","after":"6b02a82f11740eeb296202ff52b9d8d565659621","ref":"refs/heads/main","pushedAt":"2024-05-22T06:48:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Adding publishing examples","shortMessageHtmlLink":"Adding publishing examples"}},{"before":"92ed6cf14e59d027e050114400464faaf83f0c18","after":"c0bc538439e419bff344810f9bcdf9311661a529","ref":"refs/heads/main","pushedAt":"2024-05-22T06:45:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Adding a N3->Prolog Prolog->N3 pre-post compiler","shortMessageHtmlLink":"Adding a N3-&gt;Prolog Prolog-&gt;N3 pre-post compiler"}},{"before":"b074b0ed741c6baa493ffa23a055d89cef9fba0b","after":"92ed6cf14e59d027e050114400464faaf83f0c18","ref":"refs/heads/main","pushedAt":"2024-05-21T12:31:44.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Renaming back to onNegativeSurface adding publishing example","shortMessageHtmlLink":"Renaming back to onNegativeSurface adding publishing example"}},{"before":"537c6ffcb1e4355ab9b299603b3a40848b4a0ac7","after":"b074b0ed741c6baa493ffa23a055d89cef9fba0b","ref":"refs/heads/main","pushedAt":"2024-04-05T11:34:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:KNowledgeOnWebScale/Latar","shortMessageHtmlLink":"Merge branch 'main' of github.com:KNowledgeOnWebScale/Latar"}},{"before":"2434bffd9403efa97fefad20e4fcb73762ebf469","after":"537c6ffcb1e4355ab9b299603b3a40848b4a0ac7","ref":"refs/heads/main","pushedAt":"2023-07-26T12:55:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Adding liar test","shortMessageHtmlLink":"Adding liar test"}},{"before":"5d72aba86399c936fece90ef3136298740846a56","after":"2434bffd9403efa97fefad20e4fcb73762ebf469","ref":"refs/heads/main","pushedAt":"2023-07-14T05:15:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Adding a failing universal elimination test","shortMessageHtmlLink":"Adding a failing universal elimination test"}},{"before":"b3a15bdcf91704a4ac4dc299d3cd1c4f7b9dc03c","after":"5d72aba86399c936fece90ef3136298740846a56","ref":"refs/heads/main","pushedAt":"2023-06-28T04:12:50.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Creating a failing universal test","shortMessageHtmlLink":"Creating a failing universal test"}},{"before":"e6674e7c2cdff5cca349c6de644e84a28676986a","after":"b3a15bdcf91704a4ac4dc299d3cd1c4f7b9dc03c","ref":"refs/heads/main","pushedAt":"2023-05-07T18:07:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Adding built-in injection tests","shortMessageHtmlLink":"Adding built-in injection tests"}},{"before":"3b48aedb60da755e4b0772aeb10fb10d251f3e1c","after":"e6674e7c2cdff5cca349c6de644e84a28676986a","ref":"refs/heads/main","pushedAt":"2023-05-07T14:24:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Fixing generalize_if_surface","shortMessageHtmlLink":"Fixing generalize_if_surface"}},{"before":"b6b35ca37acbc73512e980e0db3563196a80c916","after":"3b48aedb60da755e4b0772aeb10fb10d251f3e1c","ref":"refs/heads/main","pushedAt":"2023-05-06T07:52:59.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Fixing debug messages","shortMessageHtmlLink":"Fixing debug messages"}},{"before":"9776771efbf968094110502c8e2bd20622ac5133","after":"b6b35ca37acbc73512e980e0db3563196a80c916","ref":"refs/heads/main","pushedAt":"2023-04-22T11:31:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Adding contradiction4","shortMessageHtmlLink":"Adding contradiction4"}},{"before":"8005152ea6bdc91d9704a853de5e9338a23047ec","after":"9776771efbf968094110502c8e2bd20622ac5133","ref":"refs/heads/main","pushedAt":"2023-04-22T09:22:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Adding more guards for structural surfaces","shortMessageHtmlLink":"Adding more guards for structural surfaces"}},{"before":"5b230d321c3a74fd77384bc6d491ad97b0fc6c1d","after":"8005152ea6bdc91d9704a853de5e9338a23047ec","ref":"refs/heads/main","pushedAt":"2023-04-22T07:55:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Adding the requirement that double-cut surfaces must have list subjects","shortMessageHtmlLink":"Adding the requirement that double-cut surfaces must have list subjects"}},{"before":"df027656cfdc600983d944cb4ca255f8de377adc","after":"5b230d321c3a74fd77384bc6d491ad97b0fc6c1d","ref":"refs/heads/main","pushedAt":"2023-04-22T07:22:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Moving structure to beta examples","shortMessageHtmlLink":"Moving structure to beta examples"}},{"before":"5517a170bba2c02ac85c7411abc830437c2ba9b1","after":"df027656cfdc600983d944cb4ca255f8de377adc","ref":"refs/heads/main","pushedAt":"2023-04-22T07:11:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Adding structure example","shortMessageHtmlLink":"Adding structure example"}},{"before":"8817afb762cc998d5d47eb2b016df302c1ac1a1c","after":"5517a170bba2c02ac85c7411abc830437c2ba9b1","ref":"refs/heads/main","pushedAt":"2023-04-15T07:46:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Adding more documentation","shortMessageHtmlLink":"Adding more documentation"}},{"before":"bf86dea36056d6d9370f9dd164908c88ead06876","after":"8817afb762cc998d5d47eb2b016df302c1ac1a1c","ref":"refs/heads/main","pushedAt":"2023-04-06T07:09:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"phochste","name":"Patrick Hochstenbach","path":"/phochste","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66416?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:MellonScholarlyCommunication/Latar","shortMessageHtmlLink":"Merge branch 'main' of github.com:MellonScholarlyCommunication/Latar"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wNFQxMjoyNDoxMC4wMDAwMDBazwAAAAR245uL","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wNFQxMjoyNDoxMC4wMDAwMDBazwAAAAR245uL","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0wNlQwNzowOTozNi4wMDAwMDBazwAAAAMTRQ6k"}},"title":"Activity · KNowledgeOnWebScale/Latar"}