[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH rumpkernel] prune.sh: Remove ~1.1G of currently unused bits.
From: |
Janneke Nieuwenhuizen |
Subject: |
Re: [PATCH rumpkernel] prune.sh: Remove ~1.1G of currently unused bits. |
Date: |
Wed, 28 Jun 2023 09:41:49 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
Samuel Thibault writes:
> Samuel Thibault, le mer. 28 juin 2023 08:41:14 +0200, a ecrit:
>> Samuel Thibault, le mer. 28 juin 2023 08:16:07 +0200, a ecrit:
>> > Damien Zammit, le sam. 24 juin 2023 02:32:03 +0000, a ecrit:
>> > > Samuel, can you please see if this new repository is suitable to replace
>> > > the debian rumpkernel:
>> > >
>> > > http://git.zammit.org/rumpkernel-debian.git
>> >
>> > Yes, this looks alright, thanks! It's just missing the tags, which we do
>> > want to have longterm-wise to be able to scratch back into history.
>>
>> Ah no they are there, just need to migrate them over.
>>
>> I will have a look at force-pushing that to salsa.
>
> It is now force-pushed, thanks!
Yay, thank you \o/
Janneke
--
Janneke Nieuwenhuizen <janneke@gnu.org> | GNU LilyPond https://LilyPond.org
Freelance IT https://www.JoyOfSource.com | AvatarĀ® https://AvatarAcademy.com