{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":31462524,"defaultBranch":"main","name":"srcomp-cli","ownerLogin":"PeterJCLaw","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2015-02-28T12:51:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/336212?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1722791328.0","currentOid":""},"activityList":{"items":[{"before":"13b8c8140dbc720d2270b4dfc370f469733c6d15","after":"6ee2e08a7ea8085301d1ab3d7cf069bdfb2a1b71","ref":"refs/heads/main","pushedAt":"2024-08-04T17:06:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Declare 1.10.0","shortMessageHtmlLink":"Declare 1.10.0"}},{"before":"13b8c8140dbc720d2270b4dfc370f469733c6d15","after":null,"ref":"refs/heads/python3.12","pushedAt":"2024-08-04T16:41:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"}},{"before":"1c4d0be454ab6ffa9b67a5c687b01ff9cdf32cac","after":"13b8c8140dbc720d2270b4dfc370f469733c6d15","ref":"refs/heads/main","pushedAt":"2024-08-04T16:40:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Support Python 3.12","shortMessageHtmlLink":"Support Python 3.12"}},{"before":"413707adf150e8b5b89bba75a5ba3271d887b779","after":"13b8c8140dbc720d2270b4dfc370f469733c6d15","ref":"refs/heads/python3.12","pushedAt":"2024-08-04T16:38:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Support Python 3.12","shortMessageHtmlLink":"Support Python 3.12"}},{"before":"21765ddb1b67835c73c63d51391a8385ace03944","after":"1c4d0be454ab6ffa9b67a5c687b01ff9cdf32cac","ref":"refs/heads/main","pushedAt":"2024-08-04T16:38:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Update Sphinx now it won't conflict with newer flake8","shortMessageHtmlLink":"Update Sphinx now it won't conflict with newer flake8"}},{"before":"41d699f19563bbfdc1ee6126cf055beb35e2a256","after":"413707adf150e8b5b89bba75a5ba3271d887b779","ref":"refs/heads/python3.12","pushedAt":"2024-08-04T16:30:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Support Python 3.12","shortMessageHtmlLink":"Support Python 3.12"}},{"before":"da1eed93724e0ba721430e9c8ab9319f31c81af3","after":"21765ddb1b67835c73c63d51391a8385ace03944","ref":"refs/heads/main","pushedAt":"2024-08-04T16:30:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Allow reportlab 4.x","shortMessageHtmlLink":"Allow reportlab 4.x"}},{"before":null,"after":"41d699f19563bbfdc1ee6126cf055beb35e2a256","ref":"refs/heads/python3.12","pushedAt":"2024-08-04T16:22:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Support Python 3.12","shortMessageHtmlLink":"Support Python 3.12"}},{"before":"4b046921f4429984e13804c415d24316c8742a4f","after":"da1eed93724e0ba721430e9c8ab9319f31c81af3","ref":"refs/heads/main","pushedAt":"2024-05-04T15:31:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Ignore A005","shortMessageHtmlLink":"Ignore A005"}},{"before":"c8f9495a4484045e6afb8e6441e810bcee54b119","after":"4b046921f4429984e13804c415d24316c8742a4f","ref":"refs/heads/main","pushedAt":"2024-03-12T18:49:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Improve print colouring if 'fetch' fails","shortMessageHtmlLink":"Improve print colouring if 'fetch' fails"}},{"before":"6d68f3a41c66bead2dd896f05e750ede9d388b2c","after":"c8f9495a4484045e6afb8e6441e810bcee54b119","ref":"refs/heads/main","pushedAt":"2024-03-12T17:39:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Fix docs CI on 3.11, copied from srcomp","shortMessageHtmlLink":"Fix docs CI on 3.11, copied from srcomp"}},{"before":"f304754c48c3180876d7d9b9d7f6b2f61a9b8ed8","after":"6d68f3a41c66bead2dd896f05e750ede9d388b2c","ref":"refs/heads/main","pushedAt":"2024-03-09T13:49:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Clarify help texts for deploy & fetch commands\n\nContent for the latter copied over from the docs.","shortMessageHtmlLink":"Clarify help texts for deploy & fetch commands"}},{"before":"5ce8eb3bc63a23d3e1c23860dc418153da633f68","after":"f304754c48c3180876d7d9b9d7f6b2f61a9b8ed8","ref":"refs/heads/main","pushedAt":"2024-03-07T20:51:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Correct the actual/expected ordering in this error message","shortMessageHtmlLink":"Correct the actual/expected ordering in this error message"}},{"before":"d6ac7992db2a9ecef676066b777d55dea713f13b","after":"5ce8eb3bc63a23d3e1c23860dc418153da633f68","ref":"refs/heads/main","pushedAt":"2023-11-05T17:28:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Ignore scorer import errors harder","shortMessageHtmlLink":"Ignore scorer import errors harder"}},{"before":"a784871d25ca3149093d93abf6cdf221a21e9264","after":"d6ac7992db2a9ecef676066b777d55dea713f13b","ref":"refs/heads/main","pushedAt":"2023-11-05T16:57:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Update annotations for newer mypy","shortMessageHtmlLink":"Update annotations for newer mypy"}},{"before":"3f6dfe5ead35d81f04f1052421c5f1b3672ca7b9","after":"a784871d25ca3149093d93abf6cdf221a21e9264","ref":"refs/heads/main","pushedAt":"2023-09-02T18:54:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Declare v1.9.0","shortMessageHtmlLink":"Declare v1.9.0"}},{"before":"3f6dfe5ead35d81f04f1052421c5f1b3672ca7b9","after":null,"ref":"refs/heads/drop-python-3.7","pushedAt":"2023-09-02T18:53:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"}},{"before":"c7355c716768c19ebe6c32ea68f5b6c4da32f967","after":"3f6dfe5ead35d81f04f1052421c5f1b3672ca7b9","ref":"refs/heads/main","pushedAt":"2023-09-02T18:53:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Drop Python 3.7 support","shortMessageHtmlLink":"Drop Python 3.7 support"}},{"before":null,"after":"3f6dfe5ead35d81f04f1052421c5f1b3672ca7b9","ref":"refs/heads/drop-python-3.7","pushedAt":"2023-09-02T18:52:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Drop Python 3.7 support","shortMessageHtmlLink":"Drop Python 3.7 support"}},{"before":"d39d572b424d9c55ff65e4ab18543d1b4d184cbf","after":"c7355c716768c19ebe6c32ea68f5b6c4da32f967","ref":"refs/heads/main","pushedAt":"2023-09-02T18:49:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Placate recent mypy","shortMessageHtmlLink":"Placate recent mypy"}},{"before":"e5fb6d89ca40540d1b16ef169e688283b1352426","after":"d39d572b424d9c55ff65e4ab18543d1b4d184cbf","ref":"refs/heads/main","pushedAt":"2023-09-02T18:37:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Only include files in our built package that we expect\n\nThis improves the spelling of this filtering so that we don't need\nto play whack-a-mole when other things are added.","shortMessageHtmlLink":"Only include files in our built package that we expect"}},{"before":"a45349d7a25b8066c9b18c532c7690e61724bfd5","after":"e5fb6d89ca40540d1b16ef169e688283b1352426","ref":"refs/heads/main","pushedAt":"2023-08-05T16:18:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Declare v1.8","shortMessageHtmlLink":"Declare v1.8"}},{"before":"e08fded506e509ceced674e8c970aadd19b3e24b","after":"a45349d7a25b8066c9b18c532c7690e61724bfd5","ref":"refs/heads/main","pushedAt":"2023-07-15T14:06:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Remove type ignore no longer needed","shortMessageHtmlLink":"Remove type ignore no longer needed"}},{"before":"9cdf0f9e446fe62fce9888844d279057129860ca","after":"e08fded506e509ceced674e8c970aadd19b3e24b","ref":"refs/heads/main","pushedAt":"2023-07-15T13:47:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Have mypy error reports include a column","shortMessageHtmlLink":"Have mypy error reports include a column"}},{"before":"2527aa543f5e6c5ebf5774a896fef3651362c151","after":"9cdf0f9e446fe62fce9888844d279057129860ca","ref":"refs/heads/main","pushedAt":"2023-04-22T19:31:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Clarify the nature of these internals","shortMessageHtmlLink":"Clarify the nature of these internals"}},{"before":"50c7f325bdc11645c41184120dabe73b62452fb4","after":"2527aa543f5e6c5ebf5774a896fef3651362c151","ref":"refs/heads/main","pushedAt":"2023-04-15T17:42:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Quotes","shortMessageHtmlLink":"Quotes"}},{"before":"65019856c6ed4ca4c0b3a03dbe9a8757e2057d8d","after":"50c7f325bdc11645c41184120dabe73b62452fb4","ref":"refs/heads/main","pushedAt":"2023-04-15T17:24:36.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Update copyright for correctness","shortMessageHtmlLink":"Update copyright for correctness"}},{"before":"eca8ae2e1b5bdca92f0717dde689c9f5f7a6d7d4","after":"65019856c6ed4ca4c0b3a03dbe9a8757e2057d8d","ref":"refs/heads/main","pushedAt":"2023-04-15T17:21:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"Don't override the docs version","shortMessageHtmlLink":"Don't override the docs version"}},{"before":"625195f74f475acd2ea425c8f8850fdb80bdb671","after":"eca8ae2e1b5bdca92f0717dde689c9f5f7a6d7d4","ref":"refs/heads/main","pushedAt":"2023-04-15T17:17:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"See if configuring RTD via config file fixes the docs build","shortMessageHtmlLink":"See if configuring RTD via config file fixes the docs build"}},{"before":"98cf67e909c18d4c96cfbd1ec53718d082bb4564","after":"625195f74f475acd2ea425c8f8850fdb80bdb671","ref":"refs/heads/main","pushedAt":"2023-04-15T17:08:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PeterJCLaw","name":"Peter Law","path":"/PeterJCLaw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/336212?s=80&v=4"},"commit":{"message":"More completely excluded non-source files","shortMessageHtmlLink":"More completely excluded non-source files"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEkWJuogA","startCursor":null,"endCursor":null}},"title":"Activity · PeterJCLaw/srcomp-cli"}