Hi,
I wanted to ask about what happens after pulls.ci.guix.gnu.org builds something, in terms of substitutability for the users. Recently I noticed that when there was a webkitgtk security update, pulls.ci built it, but then it wasn't substitutable through ci.guix.gnu.org, only through pulls.ci.guix.gnu.org. But apart from that I also noticed that there is an update to libgit2, seemingly only in a PR and seemingly only pulls.ci.guix.gnu.org that built it... and it is... substitutable through ci.guix.gnu.org. Maybe it has a different explanation than it being copied over, but I don't know it, if you know, Yelninei has documented that here: <https://codeberg.org/guix/guix/issues/4849>. So what gives? Thanks Rutherther
