Subject: Re: Request for merging "c++-team" branch

From: Andreas Enge <[email-masked]>
Date: Thu, 15 May 2025 13:20:04 +0200

Hello,

Am Wed, May 14, 2025 at 04:34:17PM -0400 schrieb Greg Hogan:
> I was able to push but had to delete the branch first. Not sure why
> the following was failing (I had fetched upstream).

this is how the server is set up: One can only push fast forward merges,
and not force push.

> Are you able to create a c++-team specification on CI?

Done, see here:
   https://ci.guix.gnu.org/jobset/c%2B%2B-team

Andreas