GNU bug report logs - #78161
Request for merging "r-team" branch

Previous Next

Package: guix-patches;

Reported by: Ricardo Wurmus <rekado <at> elephly.net>

Date: Wed, 30 Apr 2025 07:36:03 UTC

Severity: normal

Done: Ricardo Wurmus <rekado <at> elephly.net>

Bug is archived. No further changes may be made.

Full log

Message #11 received at 78161 <at> debbugs.gnu.org (full text, mbox):

From: Andreas Enge <andreas <at> enge.fr>
To: Ricardo Wurmus <rekado <at> elephly.net>
Cc: 78161 <at> debbugs.gnu.org, Christopher Baines <mail <at> cbaines.net>
Subject: Re: Request for merging "r-team" branch
Date: Mon, 12 May 2025 14:08:40 +0200

Hello Ricardo,

from the number and nature of recent commits on master, I think you have
just merged. Can we close this bug and delete the branch, as suggested
by policy?

How about wip-r-team? It dates from two years ago and is probably
obsolete, but it would be preferable if you could confirm before
deleting it.

Thanks!

Andreas
This bug report was last modified 12 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.