Re: Broken pull requests

2025-06-01 Thread Ludovic Courtès
Hey, Noé Lopez via "Development of GNU Guix and the GNU System distribution." writes: > It’s fixed now! The pull requests can be accessed again, only the > requested team reviews have been lost. Great! Thanks for following up on this and apologies for breaking things! Ludo’.

Re: Broken pull requests

2025-05-29 Thread Development of GNU Guix and the GNU System distribution.
Noé Lopez writes: > Hi everyone, > > A few hours ago, all teams were deleted and recreated by a script to add > the users from etc/teams.scm. > > This broke all pull requests that had teams as reviewers, since these > teams got deleted, they now reference nothing and the codeberg site will > give

Broken pull requests

2025-05-28 Thread Development of GNU Guix and the GNU System distribution.
Hi everyone, A few hours ago, all teams were deleted and recreated by a script to add the users from etc/teams.scm. This broke all pull requests that had teams as reviewers, since these teams got deleted, they now reference nothing and the codeberg site will give a 500 error. I have reported thi