{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":128052474,"defaultBranch":"master","name":"elan","ownerLogin":"leanprover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-04-04T11:27:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7233018?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718695347.0","currentOid":""},"activityList":{"items":[{"before":"f8c0c5006c15328ba2e0890707e898be10528887","after":"97ce78e0e6aecdf3e8d35dbf42b0614302efb250","ref":"refs/heads/master","pushedAt":"2024-08-02T12:55:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"chore: update to build with rust 1.80 (#134)","shortMessageHtmlLink":"chore: update to build with rust 1.80 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2443538822\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/elan/issues/134\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/elan/pull/134/hovercard\" href=\"https://github.com/leanprover/elan/pull/134\">#134</a>)"}},{"before":"c387805b150c0c63167f322ff3b39bdb90cc7aa2","after":"f8c0c5006c15328ba2e0890707e898be10528887","ref":"refs/heads/master","pushedAt":"2024-06-24T07:36:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"chore: simplify elan-init.sh","shortMessageHtmlLink":"chore: simplify elan-init.sh"}},{"before":"239ca2448724ebe3888326650356656d93e5983c","after":"c387805b150c0c63167f322ff3b39bdb90cc7aa2","ref":"refs/heads/master","pushedAt":"2024-06-19T12:55:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"chore: redundant `/` in download URL","shortMessageHtmlLink":"chore: redundant <code>/</code> in download URL"}},{"before":"0531a0e7c005eabe18506bd35a254a28cabccf69","after":"239ca2448724ebe3888326650356656d93e5983c","ref":"refs/heads/master","pushedAt":"2024-06-18T07:26:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"doc: more changelog","shortMessageHtmlLink":"doc: more changelog"}},{"before":"891c4ef3c97e543731a25c8cbe346fa26ccf6d72","after":"0531a0e7c005eabe18506bd35a254a28cabccf69","ref":"refs/heads/master","pushedAt":"2024-06-18T07:10:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"feat: experimental GC (#130)","shortMessageHtmlLink":"feat: experimental GC (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2356898316\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/elan/issues/130\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/elan/pull/130/hovercard\" href=\"https://github.com/leanprover/elan/pull/130\">#130</a>)"}},{"before":"e9f33d68062483a4ef3265bd9c9768a485b6c952","after":"891c4ef3c97e543731a25c8cbe346fa26ccf6d72","ref":"refs/heads/master","pushedAt":"2024-06-17T08:30:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"chore: remove obsolete update notification logic","shortMessageHtmlLink":"chore: remove obsolete update notification logic"}},{"before":"d92742569b74ea4427e03fcf948fbb2c12181000","after":"e9f33d68062483a4ef3265bd9c9768a485b6c952","ref":"refs/heads/master","pushedAt":"2024-06-14T16:36:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"doc: changelog","shortMessageHtmlLink":"doc: changelog"}},{"before":"932df85784da342762e9e3b8b164f1ca908b8269","after":"d92742569b74ea4427e03fcf948fbb2c12181000","ref":"refs/heads/master","pushedAt":"2024-06-14T08:32:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"feat: improve default labeling in `show`","shortMessageHtmlLink":"feat: improve default labeling in <code>show</code>"}},{"before":"5e16fe4ce1a4be77d79bdabfa05c9e55e02dfda7","after":"932df85784da342762e9e3b8b164f1ca908b8269","ref":"refs/heads/master","pushedAt":"2024-06-13T16:23:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"chore: now do prerelease","shortMessageHtmlLink":"chore: now do prerelease"}},{"before":"bc6fdca3989807a9478f9c3d92543c508d030d65","after":"5e16fe4ce1a4be77d79bdabfa05c9e55e02dfda7","ref":"refs/heads/master","pushedAt":"2024-06-13T16:21:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"chore: eager resolution cleanups (#128)","shortMessageHtmlLink":"chore: eager resolution cleanups (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2351463013\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/elan/issues/128\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/elan/pull/128/hovercard\" href=\"https://github.com/leanprover/elan/pull/128\">#128</a>)"}},{"before":"4e413ea5ec289faede0b3f0b884dbb959dda6295","after":"bc6fdca3989807a9478f9c3d92543c508d030d65","ref":"refs/heads/master","pushedAt":"2024-06-13T15:28:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"Publish draft releases for non-version tags","shortMessageHtmlLink":"Publish draft releases for non-version tags"}},{"before":"69fcc987772a9a3a93db99044ffbfd2a99e657a3","after":"4e413ea5ec289faede0b3f0b884dbb959dda6295","ref":"refs/heads/master","pushedAt":"2024-06-13T14:49:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"Eagerly resolve toolchains to canonical, fixed reference (#106)","shortMessageHtmlLink":"Eagerly resolve toolchains to canonical, fixed reference (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1889959942\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/elan/issues/106\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/elan/pull/106/hovercard\" href=\"https://github.com/leanprover/elan/pull/106\">#106</a>)"}},{"before":"71ddc66336d0dae1d86489eac2f90f6484c1cc20","after":"69fcc987772a9a3a93db99044ffbfd2a99e657a3","ref":"refs/heads/master","pushedAt":"2024-06-06T08:45:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"Remove Homebrew from readme\n\nIt just creates problems for us from people forgetting they used brew to install elan","shortMessageHtmlLink":"Remove Homebrew from readme"}},{"before":"14d0a47a5afa162e0315ae88112fcab0f9d9d6f6","after":"71ddc66336d0dae1d86489eac2f90f6484c1cc20","ref":"refs/heads/master","pushedAt":"2024-02-22T22:01:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"chore: Release","shortMessageHtmlLink":"chore: Release"}},{"before":"ce85519305a8544ebba5955c7f2a8b58f0522f4f","after":"14d0a47a5afa162e0315ae88112fcab0f9d9d6f6","ref":"refs/heads/master","pushedAt":"2024-02-22T21:54:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"fix: oops","shortMessageHtmlLink":"fix: oops"}},{"before":"09b96ebec45f32cc1d4349810e777ff67022c5e0","after":"ce85519305a8544ebba5955c7f2a8b58f0522f4f","ref":"refs/heads/master","pushedAt":"2024-02-19T09:01:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"chore: Release","shortMessageHtmlLink":"chore: Release"}},{"before":"94d493cda42857281e835061681e923120928c05","after":"09b96ebec45f32cc1d4349810e777ff67022c5e0","ref":"refs/heads/master","pushedAt":"2024-02-19T09:00:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"doc: update changelog","shortMessageHtmlLink":"doc: update changelog"}},{"before":"211df512a78edc2cbc9186e8d6b17254ff641582","after":null,"ref":"refs/heads/update-notify","pushedAt":"2024-02-19T08:57:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"}},{"before":"bd54acaab75d08b3912ee1f051af8657f3a9cfdf","after":"94d493cda42857281e835061681e923120928c05","ref":"refs/heads/master","pushedAt":"2024-02-19T08:57:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"feat: check for self-updates during toolchain downloads","shortMessageHtmlLink":"feat: check for self-updates during toolchain downloads"}},{"before":"008b19caa0a4cabf3a209c0c9d52c6faf927c511","after":null,"ref":"refs/heads/atomic-unpack","pushedAt":"2024-02-19T08:56:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"}},{"before":"40bb95de28ba901efb80496f93d49f1e28d9bc9d","after":"bd54acaab75d08b3912ee1f051af8657f3a9cfdf","ref":"refs/heads/master","pushedAt":"2024-02-19T08:56:46.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"fix: create toolchain directory atomically","shortMessageHtmlLink":"fix: create toolchain directory atomically"}},{"before":null,"after":"211df512a78edc2cbc9186e8d6b17254ff641582","ref":"refs/heads/update-notify","pushedAt":"2024-02-07T12:44:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"feat: check for self-updates during toolchain downloads","shortMessageHtmlLink":"feat: check for self-updates during toolchain downloads"}},{"before":"db5ecd18a87c4c15f329280c01b1c300cb4d3cc4","after":"008b19caa0a4cabf3a209c0c9d52c6faf927c511","ref":"refs/heads/atomic-unpack","pushedAt":"2024-02-07T11:57:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"fix: create toolchain directory atomically","shortMessageHtmlLink":"fix: create toolchain directory atomically"}},{"before":null,"after":"db5ecd18a87c4c15f329280c01b1c300cb4d3cc4","ref":"refs/heads/atomic-unpack","pushedAt":"2024-02-07T11:49:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"fix: create toolchain directory atomically","shortMessageHtmlLink":"fix: create toolchain directory atomically"}},{"before":"640358e252e6eda100ed4a96a993b2bbb97d0574","after":"40bb95de28ba901efb80496f93d49f1e28d9bc9d","ref":"refs/heads/master","pushedAt":"2024-02-01T09:44:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"doc: clarify installation instructions for Windows\n\nThere's a weird behavior of curl in PowerShell 5.1: when running the\nfirst command in the instructions, the created file is named\n`--location` instead of `elan-init.ps1`.\n\nI checked that curl works properly in Command Prompt or PowerShell\n7.4.1. To install elan, Windows users should use Command Prompt or\nPowerShell ≥ version 7.4.1.","shortMessageHtmlLink":"doc: clarify installation instructions for Windows"}},{"before":"3aff0ca46026e10f2f1845bb55bfcccce09e4332","after":"640358e252e6eda100ed4a96a993b2bbb97d0574","ref":"refs/heads/master","pushedAt":"2023-12-22T08:56:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"fix: proxied commands help","shortMessageHtmlLink":"fix: proxied commands help"}},{"before":"164e11281f083cb37720415b3617bb54e9af3d85","after":"3aff0ca46026e10f2f1845bb55bfcccce09e4332","ref":"refs/heads/master","pushedAt":"2023-12-07T11:07:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"fix: denylist musl\n\nFixes #116","shortMessageHtmlLink":"fix: denylist musl"}},{"before":"e434e1c60d39034aa15527be124a172c217caaae","after":"164e11281f083cb37720415b3617bb54e9af3d85","ref":"refs/heads/master","pushedAt":"2023-11-24T09:33:46.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"fix: glibc check","shortMessageHtmlLink":"fix: glibc check"}},{"before":"3db6faf6750e971027e145cb335f9d84833fab51","after":"e434e1c60d39034aa15527be124a172c217caaae","ref":"refs/heads/master","pushedAt":"2023-10-12T07:41:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"},"commit":{"message":"doc: fix build instructions\n\nFixes #113","shortMessageHtmlLink":"doc: fix build instructions"}},{"before":"23630cf02ff5fdd426d4451fb3894804d358516a","after":null,"ref":"refs/heads/init-warm","pushedAt":"2023-09-27T07:18:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Kha","name":"Sebastian Ullrich","path":"/Kha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/109126?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEkCwaZQA","startCursor":null,"endCursor":null}},"title":"Activity · leanprover/elan"}