Datacenter move update - 2025-07-03 01:00UTC

Greetings everyone. I would like to provide a status update on the datacenter move. On the plus side, we have all our data migrated to the new datacenter. All the databases and storage are available in the new location. Also, many of our services are back and functional. However, the build syste

No FESCo meeting today

pagure.io is down because of the data center move, so it's hard to even assemble an agenda. I don't think we have anything urgent, and some folks are away for holidays anyway, so let's skip the meeting today. Zbyszek -- ___ devel mailing list -- devel@l

SPDX Statistics - 104 packages remaining

Hot news: - new version of SPDX license list is going to be released soon (today?) Four weeks ago we had: * 24552 spec files in Fedora * 31159license tags in all spec files * 108 tags are not SPDX compliant (number from line bellow minus packages with LicenseRef-Callaway-*) * 2093tags ha

Re: Did the pkgs.fedoraproject.org ssh hostkey change intentionally

On Wed, 2 Jul 2025 at 13:15, Richard W.M. Jones wrote: > > I know that probably things aren't fully back up yet, but I > absent-mindedly did a git pull just now. Is this expected? > > $ git pull > @@@ > @WARNING: REMOTE HOST IDENTIFICAT

Re: GTK 4.20 runtime bloat (removed support for dynamically loaded media and print backends)

Here is a little experiment I encourage you to do, with gtk 4.18 or 4.19.1 (the one thats currently in rawhide): 1) run gtk4-demo (or any simple gtk4 app or your choice) 2 ) cat /proc/$(pidof gtk4-demo)/maps | grep gst 3) report on what you see -- ___

Re: src.fedoraproject.org access

On Wed, 2 Jul 2025 at 13:25, Tom Deseyn wrote: > Hi! > > I'm trying to contribute to git rpms repos on src.fedoraproject.org but > the server doesn't accept the SSH key I've added to my Fedora account > profile. > > It's not clear if I have something misconfigured, or if contributions on > this s

src.fedoraproject.org access

Hi! I'm trying to contribute to git rpms repos on src.fedoraproject.org but the server doesn't accept the SSH key I've added to my Fedora account profile. It's not clear if I have something misconfigured, or if contributions on this server are limited to users that are in the "Packager" group? T

Did the pkgs.fedoraproject.org ssh hostkey change intentionally

I know that probably things aren't fully back up yet, but I absent-mindedly did a git pull just now. Is this expected? $ git pull @@@ @WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED! @ @@

Re: src.fedoraproject.org access

On 01/07/2025 10:32, Tom Deseyn wrote: I'm trying to contribute to git rpms repos on src.fedoraproject.org but the server doesn't accept the SSH key I've added to my Fedora account profile. It's not clear if I have something misconfigured, or if contributions on

[Fedocal] Reminder meeting : ELN SIG

Dear all, You are kindly invited to the meeting: ELN SIG on 2025-07-03 from 15:00:00 to 16:00:00 US/Eastern At meet...@fedoraproject.org The meeting will be about: Source: https://calendar.fedoraproject.org//meeting/11018/ -- ___ devel mailin

Re: OCaml rebuild needed

On Wed, Jun 11, 2025 at 2:00 PM Richard W.M. Jones wrote: > I suppose we can see how bad it gets. > > I might have a bit of time this week to do either a full rebuild of > the existing packages (if we decide not to change anything except > maybe bumping the few you pointed out earlier), or more ad