{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":308299930,"defaultBranch":"master","name":"mirror-clone","ownerLogin":"sjtug","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-10-29T10:58:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7022515?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1697785679.0","currentOid":""},"activityList":{"items":[{"before":"dfbab005199497db100957331f1712fdf2a2dadb","after":"96c546059fe0eb14f3e1bd038a965407e3b8d9d4","ref":"refs/heads/master","pushedAt":"2023-10-19T04:21:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"PhotonQuantum","name":"LightQuantum","path":"/PhotonQuantum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18749973?s=80&v=4"},"commit":{"message":"elan: add `glean` (#126)\n\n* elan: add \\`glean\\`\r\n\r\n* elan: nightly","shortMessageHtmlLink":"elan: add <code>glean</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1950140987\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sjtug/mirror-clone/issues/126\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sjtug/mirror-clone/pull/126/hovercard\" href=\"https://github.com/sjtug/mirror-clone/pull/126\">#126</a>)"}},{"before":"6448e9377c33186a04b3c498e149119ca10179d1","after":"dfbab005199497db100957331f1712fdf2a2dadb","ref":"refs/heads/master","pushedAt":"2023-10-13T21:26:16.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"PhotonQuantum","name":"LightQuantum","path":"/PhotonQuantum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18749973?s=80&v=4"},"commit":{"message":"elan: put lean release in leanprover/lean4 (#125)","shortMessageHtmlLink":"elan: put lean release in leanprover/lean4 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1942187885\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sjtug/mirror-clone/issues/125\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sjtug/mirror-clone/pull/125/hovercard\" href=\"https://github.com/sjtug/mirror-clone/pull/125\">#125</a>)"}},{"before":"06258744cb705d291b61ee8a4788942b2fb38e36","after":"6448e9377c33186a04b3c498e149119ca10179d1","ref":"refs/heads/master","pushedAt":"2023-09-29T21:58:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"PhotonQuantum","name":"LightQuantum","path":"/PhotonQuantum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18749973?s=80&v=4"},"commit":{"message":"lean: init elan (#124)","shortMessageHtmlLink":"lean: init elan (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1918689601\" data-permission-text=\"Title is private\" data-url=\"https://github.com/sjtug/mirror-clone/issues/124\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/sjtug/mirror-clone/pull/124/hovercard\" href=\"https://github.com/sjtug/mirror-clone/pull/124\">#124</a>)"}},{"before":"b2014e8688b18a03cce48d6468b5a3b58baa1ef0","after":"06258744cb705d291b61ee8a4788942b2fb38e36","ref":"refs/heads/master","pushedAt":"2023-07-04T18:36:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"PhotonQuantum","name":"LightQuantum","path":"/PhotonQuantum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18749973?s=80&v=4"},"commit":{"message":"chore(pypi): do not generate index","shortMessageHtmlLink":"chore(pypi): do not generate index"}},{"before":"b3577b1003bb990ed25d876925e9b77251e6abbf","after":"b2014e8688b18a03cce48d6468b5a3b58baa1ef0","ref":"refs/heads/master","pushedAt":"2023-07-04T18:33:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"PhotonQuantum","name":"LightQuantum","path":"/PhotonQuantum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18749973?s=80&v=4"},"commit":{"message":"chore(pypi): reduce verbosity","shortMessageHtmlLink":"chore(pypi): reduce verbosity"}},{"before":"77371d6a2fe985288917dd04681538982f99dad0","after":"b3577b1003bb990ed25d876925e9b77251e6abbf","ref":"refs/heads/master","pushedAt":"2023-07-04T17:44:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"PhotonQuantum","name":"LightQuantum","path":"/PhotonQuantum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18749973?s=80&v=4"},"commit":{"message":"fix: no proxy on gcp apis","shortMessageHtmlLink":"fix: no proxy on gcp apis"}},{"before":"f31e98ac9e87219bc003f1c8b5f4cc90bd505f74","after":"77371d6a2fe985288917dd04681538982f99dad0","ref":"refs/heads/master","pushedAt":"2023-07-04T14:38:30.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"PhotonQuantum","name":"LightQuantum","path":"/PhotonQuantum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18749973?s=80&v=4"},"commit":{"message":"fix: snapshot compatible with windows and linux","shortMessageHtmlLink":"fix: snapshot compatible with windows and linux"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADmpTKnwA","startCursor":null,"endCursor":null}},"title":"Activity · sjtug/mirror-clone"}