{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":414235897,"defaultBranch":"master","name":"isabelle-linter","ownerLogin":"isabelle-prover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-10-06T14:03:00.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/14984655?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716816403.0","currentOid":""},"activityList":{"items":[{"before":"68640c1f18527c4ca74cafa2bb6dc9fdb56f75c6","after":"6ff7f0ad90eba11663a3735cd92747abd0c4bf34","ref":"refs/heads/devel","pushedAt":"2024-07-02T09:12:13.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"Merge branch 'refs/heads/master' into devel\n\n# Conflicts:\n#\tlinter_base/src/token_markup.scala","shortMessageHtmlLink":"Merge branch 'refs/heads/master' into devel"}},{"before":"01a53316535681836a3383e49113a57a1e99caab","after":"68640c1f18527c4ca74cafa2bb6dc9fdb56f75c6","ref":"refs/heads/devel","pushedAt":"2024-06-27T14:58:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"adapt to Isabelle;","shortMessageHtmlLink":"adapt to Isabelle;"}},{"before":"c6ad32465fd3664104c1e975c05aef1fd406dd30","after":"7b0c6102dd77ef6453d945de72f22994976e9623","ref":"refs/heads/master","pushedAt":"2024-05-27T13:24:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"tuned output: less empty lines;","shortMessageHtmlLink":"tuned output: less empty lines;"}},{"before":"09764ee29ccd056bbb16e5a38ae4fb11f99a73b4","after":"c6ad32465fd3664104c1e975c05aef1fd406dd30","ref":"refs/heads/master","pushedAt":"2024-05-27T08:29:58.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"remove string interpolations (more canonical);","shortMessageHtmlLink":"remove string interpolations (more canonical);"}},{"before":"b4fbf6f159d9456c5ff8eb840e9bb71386496315","after":"01a53316535681836a3383e49113a57a1e99caab","ref":"refs/heads/devel","pushedAt":"2024-05-02T07:17:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"remove string interpolations (more canonical);","shortMessageHtmlLink":"remove string interpolations (more canonical);"}},{"before":"6ffecf4151ee41a1c5f39fdb91d73bc65a6b2d5d","after":"b4fbf6f159d9456c5ff8eb840e9bb71386496315","ref":"refs/heads/devel","pushedAt":"2024-04-30T15:57:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"remove custom markup (including edits): hack does not work any more in current JDK;","shortMessageHtmlLink":"remove custom markup (including edits): hack does not work any more i…"}},{"before":"9f0f3ae86f695fd1d0014a46385a80527bae4751","after":"6ffecf4151ee41a1c5f39fdb91d73bc65a6b2d5d","ref":"refs/heads/devel","pushedAt":"2024-02-26T17:32:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"update to current Isabelle;","shortMessageHtmlLink":"update to current Isabelle;"}},{"before":"64bd1cdf2881949466df31cfd8064140b98aad0f","after":"9f0f3ae86f695fd1d0014a46385a80527bae4751","ref":"refs/heads/devel","pushedAt":"2023-12-01T12:45:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"Merge branch 'master' into devel","shortMessageHtmlLink":"Merge branch 'master' into devel"}},{"before":"d8179c75129cb36bf6df82a4cba1e55f02fe090e","after":"09764ee29ccd056bbb16e5a38ae4fb11f99a73b4","ref":"refs/heads/master","pushedAt":"2023-12-01T12:45:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"use devel in ci;","shortMessageHtmlLink":"use devel in ci;"}},{"before":"3dfb9b71245369ad77e793918628cf50881fbe1d","after":"64bd1cdf2881949466df31cfd8064140b98aad0f","ref":"refs/heads/devel","pushedAt":"2023-11-22T13:25:22.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"Merge branch 'master' into devel","shortMessageHtmlLink":"Merge branch 'master' into devel"}},{"before":"f27ca92b68bee3586a05127bf32da8426f77c7bc","after":"d8179c75129cb36bf6df82a4cba1e55f02fe090e","ref":"refs/heads/master","pushedAt":"2023-11-22T13:24:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"run ci on devel;","shortMessageHtmlLink":"run ci on devel;"}},{"before":null,"after":"3dfb9b71245369ad77e793918628cf50881fbe1d","ref":"refs/heads/devel","pushedAt":"2023-11-22T13:21:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"adapted to current Isabelle;","shortMessageHtmlLink":"adapted to current Isabelle;"}},{"before":"3ec9d66db24f1241eb083364fa87a50e1d56212e","after":"f27ca92b68bee3586a05127bf32da8426f77c7bc","ref":"refs/heads/master","pushedAt":"2023-11-22T13:21:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"tuned;","shortMessageHtmlLink":"tuned;"}},{"before":"43464c9c440a7ba608a8cb1d31f47ca95602acde","after":"3ec9d66db24f1241eb083364fa87a50e1d56212e","ref":"refs/heads/master","pushedAt":"2023-10-12T14:32:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"filter out blank lines in text presenter;","shortMessageHtmlLink":"filter out blank lines in text presenter;"}},{"before":"769b2f7114efcb16794421b5fb68067818572fe5","after":"43464c9c440a7ba608a8cb1d31f47ca95602acde","ref":"refs/heads/master","pushedAt":"2023-07-25T13:29:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"update to Isabelle;","shortMessageHtmlLink":"update to Isabelle;"}},{"before":"cbe86c10ef958e5435a0a466ba4474becebc638e","after":"769b2f7114efcb16794421b5fb68067818572fe5","ref":"refs/heads/master","pushedAt":"2023-06-26T15:44:28.456Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"update to Isabelle;","shortMessageHtmlLink":"update to Isabelle;"}},{"before":"13a33549379729b35a8f0ce8c59237948c4f62e5","after":"3ee727297c30e78feb4949441b01f8c64137624c","ref":"refs/heads/Isabelle2022","pushedAt":"2023-03-23T10:04:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"(mostly) reversed experimental thresholds;\n\n(cherry picked from commit cbe86c10ef958e5435a0a466ba4474becebc638e)","shortMessageHtmlLink":"(mostly) reversed experimental thresholds;"}},{"before":"a2725370bfb2cf450a2917afb708ff0d23301569","after":"cbe86c10ef958e5435a0a466ba4474becebc638e","ref":"refs/heads/master","pushedAt":"2023-03-23T10:03:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"(mostly) reversed experimental thresholds;","shortMessageHtmlLink":"(mostly) reversed experimental thresholds;"}},{"before":"fbc7d0d59840ed902c1936174ed13e4fc9320ef2","after":"a2725370bfb2cf450a2917afb708ff0d23301569","ref":"refs/heads/master","pushedAt":"2023-03-21T14:07:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"fix;","shortMessageHtmlLink":"fix;"}},{"before":"7fcf37e88468f97f3ac2229da87efa3b6c862eee","after":"13a33549379729b35a8f0ce8c59237948c4f62e5","ref":"refs/heads/Isabelle2022","pushedAt":"2023-03-21T14:07:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"fix;","shortMessageHtmlLink":"fix;"}},{"before":"fa6761d602a173e3dc36fe967674acb85d33d12d","after":"7fcf37e88468f97f3ac2229da87efa3b6c862eee","ref":"refs/heads/Isabelle2022","pushedAt":"2023-03-21T13:57:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"fix csv order;","shortMessageHtmlLink":"fix csv order;"}},{"before":"99503a51d2bc88b5047e34125b6a8e45796c35f1","after":"fbc7d0d59840ed902c1936174ed13e4fc9320ef2","ref":"refs/heads/master","pushedAt":"2023-03-21T13:57:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"fix csv order;","shortMessageHtmlLink":"fix csv order;"}},{"before":"c7f9a8b5666f2b7ac9d6f3b9be8fb4085a04e510","after":"fa6761d602a173e3dc36fe967674acb85d33d12d","ref":"refs/heads/Isabelle2022","pushedAt":"2023-03-21T13:05:05.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"update README;\n\n(cherry picked from commit 99503a51d2bc88b5047e34125b6a8e45796c35f1)","shortMessageHtmlLink":"update README;"}},{"before":"f0290e0b64ce258e4b7b0a9a227155267df70dbc","after":"99503a51d2bc88b5047e34125b6a8e45796c35f1","ref":"refs/heads/master","pushedAt":"2023-03-21T12:37:58.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"update README;","shortMessageHtmlLink":"update README;"}},{"before":"389c0631c59e474e6fc14e8761724ad76b4444f7","after":"f0290e0b64ce258e4b7b0a9a227155267df70dbc","ref":"refs/heads/master","pushedAt":"2023-03-21T12:14:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"update to Isabelle changes;","shortMessageHtmlLink":"update to Isabelle changes;"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wMlQwOToxMjoxMy4wMDAwMDBazwAAAAR0mfDk","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0yMVQxMjoxNDoxNi4wMDAwMDBazwAAAAMH9yRn"}},"title":"Activity · isabelle-prover/isabelle-linter"}