{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":626254172,"defaultBranch":"main","name":"camkes_to_microkit_guide","ownerLogin":"au-ts","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-04-11T05:22:31.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/76458621?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1696943766.0","currentOid":""},"activityList":{"items":[{"before":"271ae4b40f945e46f8f9df2e269364a495d7f13a","after":null,"ref":"refs/heads/rename_to_microkit","pushedAt":"2023-10-10T13:16:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"}},{"before":"accdc30300369499a3ffbd22eda38f9e03490451","after":"c82d2add88ad3eaaa6d7ead258281756be88968e","ref":"refs/heads/main","pushedAt":"2023-09-13T07:22:55.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"},"commit":{"message":"Merge pull request #3 from au-ts/rename_to_microkit\n\nRename to Microkit","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1893909059\" data-permission-text=\"Title is private\" data-url=\"https://github.com/au-ts/camkes_to_microkit_guide/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/au-ts/camkes_to_microkit_guide/pull/3/hovercard\" href=\"https://github.com/au-ts/camkes_to_microkit_guide/pull/3\">#3</a> from au-ts/rename_to_microkit"}},{"before":null,"after":"271ae4b40f945e46f8f9df2e269364a495d7f13a","ref":"refs/heads/rename_to_microkit","pushedAt":"2023-09-13T07:22:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"},"commit":{"message":"Rename to Microkit","shortMessageHtmlLink":"Rename to Microkit"}},{"before":"e5b34de7a4a6eef929940f080629bb5a3afffda8","after":"accdc30300369499a3ffbd22eda38f9e03490451","ref":"refs/heads/main","pushedAt":"2023-04-16T23:44:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abrandnewusername","name":"Jingyao Zhou","path":"/abrandnewusername","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39434670?s=80&v=4"},"commit":{"message":"remove ioport code; add link for seL4CP scheduling","shortMessageHtmlLink":"remove ioport code; add link for seL4CP scheduling"}},{"before":"fc8a0199413fec118be86cc11b7b4a78a53b7456","after":"e5b34de7a4a6eef929940f080629bb5a3afffda8","ref":"refs/heads/main","pushedAt":"2023-04-16T23:35:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abrandnewusername","name":"Jingyao Zhou","path":"/abrandnewusername","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39434670?s=80&v=4"},"commit":{"message":"fix a broken link","shortMessageHtmlLink":"fix a broken link"}},{"before":"4b8539b2aa2cfb0f9515e7059f6804606ba6a320","after":"fc8a0199413fec118be86cc11b7b4a78a53b7456","ref":"refs/heads/main","pushedAt":"2023-04-15T06:15:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"},"commit":{"message":"Mention multi VCPU virtual machines in future work section","shortMessageHtmlLink":"Mention multi VCPU virtual machines in future work section"}},{"before":"f04da4401cd54ec52afa368aba137b335985e9a0","after":"4b8539b2aa2cfb0f9515e7059f6804606ba6a320","ref":"refs/heads/main","pushedAt":"2023-04-11T06:12:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"},"commit":{"message":"Initial release of CAmkES to seL4 Core Platform guide","shortMessageHtmlLink":"Initial release of CAmkES to seL4 Core Platform guide"}},{"before":"b69229f47136b1ae35dcddb664c2fcdec4bc24a1","after":"f04da4401cd54ec52afa368aba137b335985e9a0","ref":"refs/heads/main","pushedAt":"2023-04-11T06:03:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"},"commit":{"message":"Initial release of CAmkES to seL4 Core Platform guide","shortMessageHtmlLink":"Initial release of CAmkES to seL4 Core Platform guide"}},{"before":null,"after":"b69229f47136b1ae35dcddb664c2fcdec4bc24a1","ref":"refs/heads/main","pushedAt":"2023-04-11T05:23:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"},"commit":{"message":"Initial release of CAmkES to seL4 Core Platform guide","shortMessageHtmlLink":"Initial release of CAmkES to seL4 Core Platform guide"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADk6UuhQA","startCursor":null,"endCursor":null}},"title":"Activity · au-ts/camkes_to_microkit_guide"}