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

Previous Next

Full log

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

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

Hi Andreas,

> 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?

Yes, I've just merged and am now preparing the next CRAN update.

> 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.

The wip-r-team branch is obsolete.  I'll delete it.

-- 
Ricardo

Previous Next

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