[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: |
Samuel Thibault |
|
Subject: |
Re: [PATCH rumpkernel] prune.sh: Remove ~1.1G of currently unused bits. |
|
Date: |
Wed, 28 Jun 2023 09:09:10 +0200 |
|
User-agent: |
NeoMutt/20170609 (1.8.3) |
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!
Samuel