| 12 Aug 2025 |
 emily | it would take like 30 seconds to copy-paste something over all of them | 12:11:12 |
 ElvishJerricco | actually, | 12:13:54 |
| ElvishJerricco | why don't we merge the PR, and give it a week or so to make sure we don't decide to revert the vendoring | 12:14:14 |
| ElvishJerricco | before we do any archiving | 12:14:21 |
| emily | what are you imagining coming up that would make us choose to revert that? | 12:14:46 |
| emily | but ok | 12:14:47 |
| emily | I don't think there's anything urgent about it in any case other than it would be bad if we forget | 12:14:57 |
| ElvishJerricco | I dunno I feel like nixpkgs ends up reverting things a lot because of strange unexpected results | 12:16:00 |
