{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":791475976,"defaultBranch":"master","name":"isabelle-build-system","ownerLogin":"isabelle-prover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-04-24T19:36:28.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/14984655?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713987416.0","currentOid":""},"activityList":{"items":[{"before":"4150c0a36752f515a183c88b7201a58ff5b5c8b2","after":"0441e49b3192b23283c5f859c7c4ce52ed9c7ef1","ref":"refs/heads/master","pushedAt":"2024-06-04T15:45:21.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":"proper ci build;","shortMessageHtmlLink":"proper ci build;"}},{"before":"23209e2f97540b3df791df43ec9fdd4941eba91e","after":"4150c0a36752f515a183c88b7201a58ff5b5c8b2","ref":"refs/heads/master","pushedAt":"2024-06-04T14:41:40.000Z","pushType":"push","commitsCount":23,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"poll only default branch;","shortMessageHtmlLink":"poll only default branch;"}},{"before":"97cccfebfb8bc99e9cc27f85f02beacea38560e3","after":"23209e2f97540b3df791df43ec9fdd4941eba91e","ref":"refs/heads/master","pushedAt":"2024-04-30T14:14:10.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":"more doc;","shortMessageHtmlLink":"more doc;"}},{"before":"365e42befe45813b172a9e2bc0710b649170d601","after":"97cccfebfb8bc99e9cc27f85f02beacea38560e3","ref":"refs/heads/master","pushedAt":"2024-04-30T12:52:41.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":"clarified default option values and processes;","shortMessageHtmlLink":"clarified default option values and processes;"}},{"before":"4c886c73ccf07fb01081ebdaaa74bf402bbe284f","after":"365e42befe45813b172a9e2bc0710b649170d601","ref":"refs/heads/master","pushedAt":"2024-04-30T09:36:10.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":"proper init;","shortMessageHtmlLink":"proper init;"}},{"before":"89a7645b7ceca334a0f0ebd48266996dffe466b6","after":"4c886c73ccf07fb01081ebdaaa74bf402bbe284f","ref":"refs/heads/master","pushedAt":"2024-04-30T09:22:02.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":"a6581abefdd76f7d1b78250502d1b4bb4634654c","after":"89a7645b7ceca334a0f0ebd48266996dffe466b6","ref":"refs/heads/master","pushedAt":"2024-04-30T09:20:37.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":"256a416068f0d5688d90380ea3f70c539f236772","after":"a6581abefdd76f7d1b78250502d1b4bb4634654c","ref":"refs/heads/master","pushedAt":"2024-04-29T19:15:11.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":"make submission group accessible;","shortMessageHtmlLink":"make submission group accessible;"}},{"before":"c2fe03bbcb06f8d5b4d1f871bc5fc9e3062a45ef","after":"256a416068f0d5688d90380ea3f70c539f236772","ref":"refs/heads/master","pushedAt":"2024-04-29T18:33: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":"more options and TODOs;","shortMessageHtmlLink":"more options and TODOs;"}},{"before":"e818a590ec7ec6c2abba68e1eb1ed041e5bc0cd4","after":"c2fe03bbcb06f8d5b4d1f871bc5fc9e3062a45ef","ref":"refs/heads/master","pushedAt":"2024-04-29T17:58: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":"more todo;","shortMessageHtmlLink":"more todo;"}},{"before":"49a4768b9f493343128410c4247cd93fd28e5d25","after":"e818a590ec7ec6c2abba68e1eb1ed041e5bc0cd4","ref":"refs/heads/master","pushedAt":"2024-04-29T16:31:05.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":"paths and defaults;","shortMessageHtmlLink":"paths and defaults;"}},{"before":"4f49ff285e0cdb06f0ceb7d359f5da8d0761b450","after":"49a4768b9f493343128410c4247cd93fd28e5d25","ref":"refs/heads/master","pushedAt":"2024-04-29T14:40:31.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"proper POST for cancelling;","shortMessageHtmlLink":"proper POST for cancelling;"}},{"before":"dfd6833f40f892fb484692827f4ddeeb462dd44e","after":"4f49ff285e0cdb06f0ceb7d359f5da8d0761b450","ref":"refs/heads/master","pushedAt":"2024-04-29T07:42:55.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"better UX;","shortMessageHtmlLink":"better UX;"}},{"before":"ff818cd138919b42df3629a15c23d6d8b5a3e565","after":"dfd6833f40f892fb484692827f4ddeeb462dd44e","ref":"refs/heads/master","pushedAt":"2024-04-26T15:09:32.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":"allow to cancel jobs;","shortMessageHtmlLink":"allow to cancel jobs;"}},{"before":"ab65bc34da9036a6c1b545c3911a149376744508","after":"ff818cd138919b42df3629a15c23d6d8b5a3e565","ref":"refs/heads/master","pushedAt":"2024-04-26T07:41:11.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 wait/notify so waiting processes can be interrupted gracefully;","shortMessageHtmlLink":"use wait/notify so waiting processes can be interrupted gracefully;"}},{"before":"fd10b264f431486215c9d3b3bcf3468a180b5c0f","after":"ab65bc34da9036a6c1b545c3911a149376744508","ref":"refs/heads/master","pushedAt":"2024-04-25T23:04: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":"better context;","shortMessageHtmlLink":"better context;"}},{"before":"bf1c1d006a7fdc161b61cd4f5efe3f7008b01a8b","after":"fd10b264f431486215c9d3b3bcf3468a180b5c0f","ref":"refs/heads/master","pushedAt":"2024-04-25T17:47:56.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":"added web app;","shortMessageHtmlLink":"added web app;"}},{"before":"2acf31edf4cb868232bc50c97c7d2273eaa211cb","after":"bf1c1d006a7fdc161b61cd4f5efe3f7008b01a8b","ref":"refs/heads/master","pushedAt":"2024-04-25T09:40:26.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"better messages;","shortMessageHtmlLink":"better messages;"}},{"before":null,"after":"2acf31edf4cb868232bc50c97c7d2273eaa211cb","ref":"refs/heads/master","pushedAt":"2024-04-24T19:36:56.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":"proper behaviour;","shortMessageHtmlLink":"proper behaviour;"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0wNFQxNTo0NToyMS4wMDAwMDBazwAAAARcNc6B","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0yNFQxOTozNjo1Ni4wMDAwMDBazwAAAAQ5fjNK"}},"title":"Activity · isabelle-prover/isabelle-build-system"}