ChanServ changed the topic of #freedesktop to: https://www.freedesktop.org infrastructure and online services || for questions about freedesktop.org projects, please see each project's contact || for discussions about specifications, please use https://gitlab.freedesktop.org/xdg or xdg@lists.freedesktop.org
ximion has quit [Ping timeout: 480 seconds]
ximion has joined #freedesktop
ybogdano has quit [Ping timeout: 480 seconds]
KaitoDaumoto has joined #freedesktop
keithp is now known as Guest284
keithp has joined #freedesktop
Guest284 has quit [Ping timeout: 480 seconds]
scrumplex_ has joined #freedesktop
scrumplex has quit [Ping timeout: 480 seconds]
wael has quit [Remote host closed the connection]
wael[m] has left #freedesktop [#freedesktop]
AbleBacon has quit [Read error: Connection reset by peer]
alanc has quit [Remote host closed the connection]
alanc has joined #freedesktop
xyb has joined #freedesktop
xyb has quit []
<daniels>
It’s done separately from kemper since we never moved it
mvlad has joined #freedesktop
ximion has quit []
ppascher has quit [Ping timeout: 480 seconds]
<kusma>
Did scheduled pipelines on gitlab break around two weeks ago?
<kusma>
There's one scheduled to run in ~5 minutes, but that one should have been run hourly for the last two weeks, I believe...
<kusma>
Oh no, that happened after I renamed master to main 🤦
<eric_engestrom>
bentiss: I'm not a maintainer in the mesa group so I can't check the settings
<bentiss>
eric_engestrom: well, it's empty, but as daniels said above, it was configure on kemper. Not sure I can access it
<eric_engestrom>
daniels: in that mirroring script, any chance to only push if the branch is one of (main|amber) ? the rest of them have no reason to be mirrored
<eric_engestrom>
bentiss: yup, I was just saying for future reference :)
* eric_engestrom
tries to look around on kemper
<bentiss>
heh OK
<daniels>
eric_engestrom: look in /srv/git.freedesktop.org/git/mesa/mesa.git/hooks/post-receive.d/
<daniels>
I’m not really near my laptop today so good luck
<daniels>
I’m not really sure what the point of having a partial mirror is though?
<eric_engestrom>
yup, found it as /git/mesa/mesa.git/hooks/post-receive.d/ but I expect it's the same dir through different symlinks
<daniels>
I’d have no issue deleting it but not sure what problem it solves if we’re mirroring two branches but not the ones with the releases
<eric_engestrom>
sure, we can add the release branches to that filter
<eric_engestrom>
but I regularly have to delete branches that people creates on the main repo for MRs, for instance
<daniels>
oh
<eric_engestrom>
those got deleted on gitlab but not in the mirror
<daniels>
we can fix that on GitLab I’m pretty sure
<daniels>
yeah, in the protected branches settings, just add a filter for * and make it so that no-one can push
<eric_engestrom>
daniels: that would prevent release maintainers from working on `staging/X.Y` and `X.Y`, wouldn't it?
<eric_engestrom>
although perhaps the answer is that we should stop doing that and figure out another process?
<eric_engestrom>
this /git/bin/signal-github-mirror which echoes into /run/github-mirror/named-pipe reminds me that there's a daemon that runs to read through that name pipe; the pipe is there, but I'm not sure how to check for the daemon (lsof on that file returns nothing)
<daniels>
so just add one for staging to the existing rules and you’ll be fine
<daniels>
the daemon is a systemd unit
<eric_engestrom>
github-mirror.service is up and running, but I don't have rights to try to restart it
<daniels>
ok, I’ll look at it when I’m next near my laptop
ppascher has joined #freedesktop
___nick___ has joined #freedesktop
<eric_engestrom>
thanks :)
<eric_engestrom>
(it's been dead for 3+ weeks so there's no rush)
dri-logger has quit [Remote host closed the connection]
dri-logger has joined #freedesktop
dri-logger has quit [Read error: Connection reset by peer]
dri-logger has joined #freedesktop
eroux_ has joined #freedesktop
eroux has quit [Read error: No route to host]
eroux has joined #freedesktop
eroux_ has quit [Read error: Connection reset by peer]
rgallaispou has joined #freedesktop
MajorBiscuit has joined #freedesktop
Haaninjo has joined #freedesktop
AbleBacon has joined #freedesktop
___nick___ has quit []
___nick___ has joined #freedesktop
___nick___ has quit []
___nick___ has joined #freedesktop
ybogdano has joined #freedesktop
ybogdano has quit [Quit: Ping timeout (120 seconds)]
ybogdano has joined #freedesktop
Seirdy has quit [Ping timeout: 480 seconds]
Seirdy has joined #freedesktop
jarthur has joined #freedesktop
ximion has joined #freedesktop
rgallaispou has quit [Read error: Connection reset by peer]
MajorBiscuit has quit [Ping timeout: 480 seconds]
ybogdano has quit [Ping timeout: 480 seconds]
feto_bastardo has quit [Quit: quit]
feto_bastardo has joined #freedesktop
MajorBiscuit has joined #freedesktop
DragoonAethis has quit [Quit: hej-hej!]
DragoonAethis has joined #freedesktop
alatiera6 has joined #freedesktop
alatiera has quit [Ping timeout: 480 seconds]
ybogdano has joined #freedesktop
Major_Biscuit has joined #freedesktop
MajorBiscuit has quit [Ping timeout: 480 seconds]
___nick___ has quit [Ping timeout: 480 seconds]
mvlad has quit [Remote host closed the connection]
Major_Biscuit has quit [Ping timeout: 480 seconds]
Major_Biscuit has joined #freedesktop
Haaninjo has quit [Quit: Ex-Chat]
danvet has quit [Ping timeout: 480 seconds]
Major_Biscuit has quit [Ping timeout: 480 seconds]