| 21 Sep 2025 |
 K900 | Basically github will sometimes just decide to GC merged PRs | 18:26:21 |
| K900 | And the commits disappear | 18:26:28 |
| K900 | We don't entirely know why | 18:26:32 |
| K900 | Or when | 18:26:36 |
 Alyssa Ross | This is documented (somewhat) in pkgs/README.md BTW | 18:42:16 |
| K900 | OK I'm getting close I think | 18:51:04 |
| K900 | Close to building my whole thing that is | 18:51:12 |
| K900 | Still need to fix dotnet | 18:51:28 |
| Alyssa Ross | In reply to @k900:0upti.me
Basically github will sometimes just decide to GC merged PRs Not merged PRs | 18:52:02 |
| Alyssa Ross | They never GC the current PR state, whether open, merged or closed. | 18:52:21 |
| Alyssa Ross | The problem is that an open PR can later be rebased and then they'll GC the older state we had pinned. | 18:52:54 |
| K900 | OK so I now need to build four webkits lol | 19:19:10 |
| K900 | So that's going to be an overnight kind of deal | 19:19:52 |
