Hi Ludovic,

Ludovic Courtès <l...@gnu.org> writes:

> Hello Guix!
>
> There are still things to adjust, such as the settings of the repository
> on Codeberg (I’ll take a look after lunch), but the main part of the
> migration is complete:
>
>   • https://codeberg.org/guix/guix is live and guix-mirror redirects to
>     it.
>
>   • git.guix.gnu.org now redirects to Codeberg.
>
>   • Committers who had sent their Codeberg accounts here have been added
>     either as “collaborators” of the guix repo or as members of the
>     “Owners” team, in accordance with GCD 002.  It’s entirely possible
>     that I forgot someone or put them in the wrong category; please let
>     me know if you notice anything wrong and I or another “owner” will
>     fix it.  Anyway, you can push now.
>
>   • Codeberg mirrors to Savannah on pushes, using the ‘guix_mirror_bot’
>     account on the Savannah side (tested it, it actually works).
>
>   • I have removed every member of
>     <https://savannah.gnu.org/projects/guix> except those who were
>     marked as “admins”, in an attempt to reduce chances of accidental
>     pushes.  (The list of members as shown by
>     <https://savannah.nongnu.org/project/memberlist.php?group=guix>
>     before this mass removal is attached.)
>
>   • I updated URLs in the manual and on the web site, though there’s
>     probably more to do.
>
> ⚠ Be sure to update your .git/config file to avoid inadvertently pushing
> to Savannah!
>
> Let me know if you nothing anything fishy and let’s continue together.

Thanks for your efforts!  I've started experimenting with the new
system, at least creating a review is easy with agit:

git push origin HEAD:refs/for/master -o topic="add-muon" \
  -o title="Add Muon, Samurai and adjust meson-build-system"

Created https://codeberg.org/guix/guix/pulls/35

-- 
Thanks,
Maxim

Reply via email to