[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 08:41:14 +0200 |
|
User-agent: |
NeoMutt/20170609 (1.8.3) |
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.
Samuel