{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":751490693,"defaultBranch":"master","name":"cyclic-proof-bibliography","ownerLogin":"reubenrowe","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-02-01T18:00:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8182076?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1706811371.0","currentOid":""},"activityList":{"items":[{"before":"4a7c67cac106752d64fde0acc5552c133e6a72dd","after":"0c0e771ed08de0abe03f20a0d7ff9f3ad9c57762","ref":"refs/heads/master","pushedAt":"2024-05-27T15:14:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Missed another comma.","shortMessageHtmlLink":"Missed another comma."}},{"before":"27e2d0c04363080e0dc35aecbd382bec7284c940","after":"4a7c67cac106752d64fde0acc5552c133e6a72dd","ref":"refs/heads/master","pushedAt":"2024-05-27T15:13:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Missed a paper from CSL2023.","shortMessageHtmlLink":"Missed a paper from CSL2023."}},{"before":"0f5d7dce84ea47481615561735cb7e779af2474e","after":"27e2d0c04363080e0dc35aecbd382bec7284c940","ref":"refs/heads/master","pushedAt":"2024-04-24T15:18:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add Farzad Jafarrahmani's PhD thesis.","shortMessageHtmlLink":"Add Farzad Jafarrahmani's PhD thesis."}},{"before":"82bf387ebd6ee086f6304c10f6b1dc107a38e5a1","after":"0f5d7dce84ea47481615561735cb7e779af2474e","ref":"refs/heads/master","pushedAt":"2024-04-23T13:08:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Missed a comma.","shortMessageHtmlLink":"Missed a comma."}},{"before":"1facbb70f69fa372e11231bc8009d29380d41e2d","after":"82bf387ebd6ee086f6304c10f6b1dc107a38e5a1","ref":"refs/heads/master","pushedAt":"2024-04-23T13:01:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add journal version of Dominik and Bahareh's WoLLIC 2022 paper.","shortMessageHtmlLink":"Add journal version of Dominik and Bahareh's WoLLIC 2022 paper."}},{"before":"86ad8f3a7c40884722c531077ad9e5d5ffe8264f","after":"1facbb70f69fa372e11231bc8009d29380d41e2d","ref":"refs/heads/master","pushedAt":"2024-04-13T21:46:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add list of papers to triage.","shortMessageHtmlLink":"Add list of papers to triage."}},{"before":"d51962d80f3558fc4c7a3e5e860a601fe1688cc2","after":"86ad8f3a7c40884722c531077ad9e5d5ffe8264f","ref":"refs/heads/master","pushedAt":"2024-04-13T19:40:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add abstracts from FICS 2024.","shortMessageHtmlLink":"Add abstracts from FICS 2024."}},{"before":"d0284d91db5508e6177e44301c277a9bd9e519b8","after":"d51962d80f3558fc4c7a3e5e860a601fe1688cc2","ref":"refs/heads/master","pushedAt":"2024-04-13T18:30:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Preprint from Thomas Studer and co-authors.","shortMessageHtmlLink":"Preprint from Thomas Studer and co-authors."}},{"before":"a3a881220033a0f6c9555c9715465abd10ee1f40","after":"d0284d91db5508e6177e44301c277a9bd9e519b8","ref":"refs/heads/master","pushedAt":"2024-04-13T17:53:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Latest paper from Bahareh, Graham and Sebastian.","shortMessageHtmlLink":"Latest paper from Bahareh, Graham and Sebastian."}},{"before":"fecfea3575dacf81dea3c175516d3740a8e4d71c","after":"a3a881220033a0f6c9555c9715465abd10ee1f40","ref":"refs/heads/master","pushedAt":"2024-04-13T17:46:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"A couple of recent pre-prints.","shortMessageHtmlLink":"A couple of recent pre-prints."}},{"before":"34df5a917e7341bffe326254b14544a99cd475f9","after":"fecfea3575dacf81dea3c175516d3740a8e4d71c","ref":"refs/heads/master","pushedAt":"2024-04-13T17:21:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Added Rooduijn and Zenger's AiML 2022 paper.","shortMessageHtmlLink":"Added Rooduijn and Zenger's AiML 2022 paper."}},{"before":"df57fdb2dd39f10f8b4b3d0c6a7fb0ee271bb372","after":"34df5a917e7341bffe326254b14544a99cd475f9","ref":"refs/heads/master","pushedAt":"2024-04-05T15:43:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Missed bib item key.","shortMessageHtmlLink":"Missed bib item key."}},{"before":"848ea0bc86d67cd175505d8cfbfd42fbbb1a05d4","after":"df57fdb2dd39f10f8b4b3d0c6a7fb0ee271bb372","ref":"refs/heads/master","pushedAt":"2024-04-05T15:41:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Journal version of the \"Circular (Yet Sound)\" paper!","shortMessageHtmlLink":"Journal version of the \"Circular (Yet Sound)\" paper!"}},{"before":"694936ec7085b55dc398c8e1dac7e777dfd87c75","after":"848ea0bc86d67cd175505d8cfbfd42fbbb1a05d4","ref":"refs/heads/master","pushedAt":"2024-04-05T15:27:49.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add Rosalie Iemhoff's paper in Albert Visser's Festschrift - thanks to Iris for making me aware of this.","shortMessageHtmlLink":"Add Rosalie Iemhoff's paper in Albert Visser's Festschrift - thanks t…"}},{"before":"cb3421951f5dc51b29b8c9d17375bea7854ec04a","after":"694936ec7085b55dc398c8e1dac7e777dfd87c75","ref":"refs/heads/master","pushedAt":"2024-03-11T15:00:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Fix display of article items.","shortMessageHtmlLink":"Fix display of article items."}},{"before":"9d78804088c03c4f4a894404d56fd2a385366c77","after":"cb3421951f5dc51b29b8c9d17375bea7854ec04a","ref":"refs/heads/master","pushedAt":"2024-03-09T22:21:34.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add list of contributors.","shortMessageHtmlLink":"Add list of contributors."}},{"before":"f50de7230b05eb1041843c862f11c019613e3b07","after":"9d78804088c03c4f4a894404d56fd2a385366c77","ref":"refs/heads/master","pushedAt":"2024-03-01T15:54:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add Johannes' and Yde's preprint - didn't realise this contained unpublished results over and above their TABLEAUX'21 paper.","shortMessageHtmlLink":"Add Johannes' and Yde's preprint - didn't realise this contained unpu…"}},{"before":"bbfb3abfe23dc543567c89afb1b4b2465aeeec10","after":"f50de7230b05eb1041843c862f11c019613e3b07","ref":"refs/heads/master","pushedAt":"2024-02-28T01:33:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add Matteo Mio and Alex Simpson's FoSSaCS 2013 paper.","shortMessageHtmlLink":"Add Matteo Mio and Alex Simpson's FoSSaCS 2013 paper."}},{"before":"d9bfc1e9641ef9226f2104cb94d5647b02997c15","after":"bbfb3abfe23dc543567c89afb1b4b2465aeeec10","ref":"refs/heads/master","pushedAt":"2024-02-26T00:14:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add extended version of Alexis' TABLEAUX 2023 paper.","shortMessageHtmlLink":"Add extended version of Alexis' TABLEAUX 2023 paper."}},{"before":"1727405482d2998df5c506c99dada4e1660b2244","after":"d9bfc1e9641ef9226f2104cb94d5647b02997c15","ref":"refs/heads/master","pushedAt":"2024-02-25T23:53:50.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add DOIs and URLs for CSL papers, and remove superseded preprint.","shortMessageHtmlLink":"Add DOIs and URLs for CSL papers, and remove superseded preprint."}},{"before":"215f991a383385d127fce34383d6aa6067e595c7","after":"1727405482d2998df5c506c99dada4e1660b2244","ref":"refs/heads/master","pushedAt":"2024-02-07T17:00:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"A couple of papers on applications on cyclic system of Dam et al.","shortMessageHtmlLink":"A couple of papers on applications on cyclic system of Dam et al."}},{"before":"68d715619e0c52511ea37338c91dc3eb5ced6ea5","after":"215f991a383385d127fce34383d6aa6067e595c7","ref":"refs/heads/master","pushedAt":"2024-02-07T16:42:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Separate year links into one decade per line.","shortMessageHtmlLink":"Separate year links into one decade per line."}},{"before":"96e4dc1980a330c1d9a4f9958902e28189de1516","after":"68d715619e0c52511ea37338c91dc3eb5ced6ea5","ref":"refs/heads/master","pushedAt":"2024-02-07T16:39:47.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add page numbers.","shortMessageHtmlLink":"Add page numbers."}},{"before":"ddc09b38516be96f92c6b4c796c2e1a27f144c43","after":"96e4dc1980a330c1d9a4f9958902e28189de1516","ref":"refs/heads/master","pushedAt":"2024-02-07T15:39:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Use endash character.","shortMessageHtmlLink":"Use endash character."}},{"before":"04d54f3b5c30ed8d2a263af486960161ae649b04","after":"ddc09b38516be96f92c6b4c796c2e1a27f144c43","ref":"refs/heads/master","pushedAt":"2024-02-07T15:37:24.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add item suggested by Claus-Peter Wirth.","shortMessageHtmlLink":"Add item suggested by Claus-Peter Wirth."}},{"before":"d433c93fd637c5683fd2fc0200e712114b0b8dd7","after":"04d54f3b5c30ed8d2a263af486960161ae649b04","ref":"refs/heads/master","pushedAt":"2024-02-04T20:47:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Typo.","shortMessageHtmlLink":"Typo."}},{"before":"1fc48472cf74718bb66bdebb3943840b9be30c99","after":"d433c93fd637c5683fd2fc0200e712114b0b8dd7","ref":"refs/heads/master","pushedAt":"2024-02-02T18:04:05.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add venue notes for EPTCS entries.","shortMessageHtmlLink":"Add venue notes for EPTCS entries."}},{"before":"25e2f6c06af2217c387482881c62820b75dbfc8f","after":"1fc48472cf74718bb66bdebb3943840b9be30c99","ref":"refs/heads/master","pushedAt":"2024-02-01T19:14:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Papers from upcoming CSL and associated preprint.","shortMessageHtmlLink":"Papers from upcoming CSL and associated preprint."}},{"before":"b1e6a8ad1296868ddfd44e322c53ab8336655ad2","after":"25e2f6c06af2217c387482881c62820b75dbfc8f","ref":"refs/heads/master","pushedAt":"2024-02-01T18:43:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Fix.","shortMessageHtmlLink":"Fix."}},{"before":"8ed8e16870f27f4c1eefee364224febca09c5683","after":"b1e6a8ad1296868ddfd44e322c53ab8336655ad2","ref":"refs/heads/master","pushedAt":"2024-02-01T18:38:48.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add note for EPTCS 281: CL&C2018 Workshop.","shortMessageHtmlLink":"Add note for EPTCS 281: CL&C2018 Workshop."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVQaENQA","startCursor":null,"endCursor":null}},"title":"Activity · reubenrowe/cyclic-proof-bibliography"}