{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":70061696,"defaultBranch":"master","name":"admin","ownerLogin":"isabelle-prover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-10-05T13:11:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/14984655?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719332299.0","currentOid":""},"activityList":{"items":[{"before":"9318ee65d5db8ddba4dccc87532a140ad90d5bab","after":"708bf617c4dd3e8261c8ed2e2cc0183ee749aeab","ref":"refs/heads/master","pushedAt":"2024-08-07T13:47:44.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":"fix wrong heap images: symlinked AFP causes different paths to be stored im heap images;","shortMessageHtmlLink":"fix wrong heap images: symlinked AFP causes different paths to be sto…"}},{"before":"3123ce2e6138055bb61720391aaafefeb1a23957","after":"9318ee65d5db8ddba4dccc87532a140ad90d5bab","ref":"refs/heads/master","pushedAt":"2024-07-30T11:00:06.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 caddy on afp-submit system as reverse proxy (instead of apache + reverse proxy from leader);\nassign afp-submit.proof.cit.tum.de as afp-submit domain;","shortMessageHtmlLink":"use caddy on afp-submit system as reverse proxy (instead of apache + …"}},{"before":"86a43c53c1f198d61d82a93bef2cb6eeb69e5232","after":"3123ce2e6138055bb61720391aaafefeb1a23957","ref":"refs/heads/master","pushedAt":"2024-07-08T13:45: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":"remove old status page, and include production.yml in all.yml;","shortMessageHtmlLink":"remove old status page, and include production.yml in all.yml;"}},{"before":"099bb94598c560a7eae594aefbd369f1a3836d2b","after":"86a43c53c1f198d61d82a93bef2cb6eeb69e5232","ref":"refs/heads/master","pushedAt":"2024-07-01T09:24: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":"group must be isabelle, so build manager can be cluster node;","shortMessageHtmlLink":"group must be isabelle, so build manager can be cluster node;"}},{"before":"8993b302b6398c37419e704c72d808ff81a0f6ec","after":"099bb94598c560a7eae594aefbd369f1a3836d2b","ref":"refs/heads/master","pushedAt":"2024-06-28T14:04: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":"fix group;","shortMessageHtmlLink":"fix group;"}},{"before":"a0bf27a136d5ff56eadc2a9d1210b1c62783a9e5","after":"8993b302b6398c37419e704c72d808ff81a0f6ec","ref":"refs/heads/master","pushedAt":"2024-06-28T13:59:31.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":"add dep;","shortMessageHtmlLink":"add dep;"}},{"before":"e113ae67fb031dc6752285b47b7dfb36925c5f02","after":null,"ref":"refs/heads/dependabot/pip/ansible-7.0.0","pushedAt":"2024-06-25T16:18:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"6b21ce08843c7e76bfa03e64e110f38a3797e557","after":"a0bf27a136d5ff56eadc2a9d1210b1c62783a9e5","ref":"refs/heads/master","pushedAt":"2024-06-25T16:18:11.000Z","pushType":"push","commitsCount":17,"pusher":{"login":"Dacit","name":null,"path":"/Dacit","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5286232?s=80&v=4"},"commit":{"message":"simplified;","shortMessageHtmlLink":"simplified;"}},{"before":"e6f07c847886f2d2fe7eb5165db7bfe8316352b1","after":"6b21ce08843c7e76bfa03e64e110f38a3797e557","ref":"refs/heads/master","pushedAt":"2024-06-11T12:31:22.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":"adapted;","shortMessageHtmlLink":"adapted;"}},{"before":"f9acb7be127e016b8cf181a6033ce43d94ce8bd7","after":"e6f07c847886f2d2fe7eb5165db7bfe8316352b1","ref":"refs/heads/master","pushedAt":"2024-06-05T14:39:53.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":"tweaked;","shortMessageHtmlLink":"tweaked;"}},{"before":"8fdd03c1b43fd90cc99a2143f01b61a81338b580","after":"f9acb7be127e016b8cf181a6033ce43d94ce8bd7","ref":"refs/heads/master","pushedAt":"2024-06-04T15:48:46.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":"add build manager installation;","shortMessageHtmlLink":"add build manager installation;"}},{"before":"5cc37c97ff94b4e76335ab0bc76b8408625473c0","after":"8fdd03c1b43fd90cc99a2143f01b61a81338b580","ref":"refs/heads/master","pushedAt":"2024-05-29T14:22:53.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":"update path and add temporary fix (for Isabelle2024, until Isabelle2025);","shortMessageHtmlLink":"update path and add temporary fix (for Isabelle2024, until Isabelle20…"}},{"before":"574291760c8806de9efd2f9c0dab16723037997a","after":"5cc37c97ff94b4e76335ab0bc76b8408625473c0","ref":"refs/heads/master","pushedAt":"2024-05-27T13:27: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":"bump;","shortMessageHtmlLink":"bump;"}},{"before":"229f03c2c88b5398a7c41e0b0f9e208cd9e224e9","after":"574291760c8806de9efd2f9c0dab16723037997a","ref":"refs/heads/master","pushedAt":"2024-05-27T09:45:54.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 systemd service;","shortMessageHtmlLink":"update systemd service;"}},{"before":"0525349bb2f8b7059aa49ca937c34db3042c874f","after":"229f03c2c88b5398a7c41e0b0f9e208cd9e224e9","ref":"refs/heads/master","pushedAt":"2024-05-27T09:35: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":"eff1e6f5440f8c9323e0656616361575edba88a1","after":"0525349bb2f8b7059aa49ca937c34db3042c874f","ref":"refs/heads/master","pushedAt":"2024-05-27T09:28: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":"update to Isabelle 2024;","shortMessageHtmlLink":"update to Isabelle 2024;"}},{"before":"91afc9268ab15bfedfdb5d6a0a9e287ee563a3b6","after":"eff1e6f5440f8c9323e0656616361575edba88a1","ref":"refs/heads/master","pushedAt":"2024-05-27T09:27: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":"remove sphinx requirements;","shortMessageHtmlLink":"remove sphinx requirements;"}},{"before":"0320000e96695c0ab626370c21e6440ec989bc3e","after":"91afc9268ab15bfedfdb5d6a0a9e287ee563a3b6","ref":"refs/heads/master","pushedAt":"2024-05-27T09:27:24.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":"moved doc to README;","shortMessageHtmlLink":"moved doc to README;"}},{"before":"dc28629c6ee29534f48ba895ce19a8797d2ae238","after":"0320000e96695c0ab626370c21e6440ec989bc3e","ref":"refs/heads/master","pushedAt":"2024-05-16T15:03: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":"16G memory;","shortMessageHtmlLink":"16G memory;"}},{"before":"d39a34b413cbaaedae084dd4f58de719715ca643","after":"dc28629c6ee29534f48ba895ce19a8797d2ae238","ref":"refs/heads/master","pushedAt":"2024-04-19T15:24:59.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":"minimized cluster setup;\nadded new machines;","shortMessageHtmlLink":"minimized cluster setup;"}},{"before":"35abe61a3b7a267c0cb80236580725a321cea441","after":"d39a34b413cbaaedae084dd4f58de719715ca643","ref":"refs/heads/master","pushedAt":"2024-04-17T08:36:06.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":"increase stack size;","shortMessageHtmlLink":"increase stack size;"}},{"before":"3de23316f3b2751282d86e4e3edd1ea89ab2745b","after":"35abe61a3b7a267c0cb80236580725a321cea441","ref":"refs/heads/master","pushedAt":"2024-04-16T18:04:33.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":"change afp-submit to workstation running Ubuntu 22 (lxc does not work smoothly with cgroupsv2 and previous firewall settings);","shortMessageHtmlLink":"change afp-submit to workstation running Ubuntu 22 (lxc does not work…"}},{"before":"be1775f4acbbe91ab6d88c98a6fe208623cd6bdf","after":"3de23316f3b2751282d86e4e3edd1ea89ab2745b","ref":"refs/heads/master","pushedAt":"2024-04-15T16:31:29.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":"decrease heap sizes;","shortMessageHtmlLink":"decrease heap sizes;"}},{"before":"99f7aa1d61ba7bbb6f1f3c42f3d366fb111e713a","after":"be1775f4acbbe91ab6d88c98a6fe208623cd6bdf","ref":"refs/heads/master","pushedAt":"2024-04-15T08:18:00.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 doc;","shortMessageHtmlLink":"update doc;"}},{"before":"45de4f4cb03e917ea272c748267f9965bbffeb34","after":"99f7aa1d61ba7bbb6f1f3c42f3d366fb111e713a","ref":"refs/heads/master","pushedAt":"2024-04-09T18:36:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"remove outdated script","shortMessageHtmlLink":"remove outdated script"}},{"before":"8d6f5a0fbd9561ca1196fc049f151c8bae2e2ad1","after":"45de4f4cb03e917ea272c748267f9965bbffeb34","ref":"refs/heads/master","pushedAt":"2024-04-09T18:33:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"remove obsolete plugin","shortMessageHtmlLink":"remove obsolete plugin"}},{"before":"6fadeb041f6df63820811c945064a6cdf6ecead5","after":"8d6f5a0fbd9561ca1196fc049f151c8bae2e2ad1","ref":"refs/heads/master","pushedAt":"2024-04-02T09:27:38.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"larsrh","name":"Lars Hupel","path":"/larsrh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/923079?s=80&v=4"},"commit":{"message":"remove hard-coded Go component","shortMessageHtmlLink":"remove hard-coded Go component"}},{"before":"cf895df36ab98c7a4f059471ffbffa5749678804","after":"6fadeb041f6df63820811c945064a6cdf6ecead5","ref":"refs/heads/master","pushedAt":"2024-03-27T10:30:20.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 LRZ nodes and update doc;","shortMessageHtmlLink":"remove LRZ nodes and update doc;"}},{"before":"3f67ce453dfedea126b072e512f398c7c95a15fb","after":"cf895df36ab98c7a4f059471ffbffa5749678804","ref":"refs/heads/master","pushedAt":"2024-03-27T10:14:01.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":"update AFP machine;","shortMessageHtmlLink":"update AFP machine;"}},{"before":"0836b2e2fa2812987b54bb054cb7f87b61993f8e","after":"3f67ce453dfedea126b072e512f398c7c95a15fb","ref":"refs/heads/master","pushedAt":"2024-03-08T15:08:37.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":"remove ci.properties;","shortMessageHtmlLink":"remove ci.properties;"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wN1QxMzo0Nzo0NC4wMDAwMDBazwAAAASUPL-S","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0wOFQxNTowODozNy4wMDAwMDBazwAAAAQQRe2H"}},"title":"Activity · isabelle-prover/admin"}