06:09 <whot> bentiss: I deployed damspam sanitize-profile (in readonly) but for some reason I get invalid_token errors. the gitlab token expired today and I replace it but even with the new token it fails so I'm wondering if I missed something that needed updating somewhere? token value works fine here from the CLI

06:10 <whot> bentiss: the gitlab auth token that is, not the project uuid token

06:17 <whot> bentiss: also, ftr, the logs show the right version of fdo-bots was checked out and installed

07:14 <glehmann> what happened here? the marge said it failed by the commit was merged to main. https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/22570

07:20 <MrCooper> it's a long standing GitLab issue; IIRC if the merged commit is (force-)pushed to the source branch again, the MR gets marked as merged

07:34 <tzimmermann> hi. DRM git trees appear to be broken. i cannot see the drm tree on https://cgit.freedesktop.org/

07:35 <airlied> also appears the github-mirror hooks is not working

07:35 <tzimmermann> i tried to send out drm-misc-fixes, but got the error about denied access

07:36 <tzimmermann> on the second try, i got

07:36 <tzimmermann> ! [rejected] drm-misc-fixes-2023-04-20 -> drm-misc-fixes-2023-04-20 (already exists)

07:36 <tzimmermann> error: failed to push some refs to 'ssh://git.freedesktop.org/git/drm/drm-misc'

07:36 <tzimmermann> hint: Updates were rejected because the tag already exists in the remote.

07:36 <tzimmermann> so something must have gone through

07:36 <airlied> since it's a post recieve hook I think the branch is probably correct

07:36 <tzimmermann> i'll wait for a resolution

07:37 <airlied> and it's just the github mirror process had died

07:38 <gioele> hi!, re <https://gitlab.freedesktop.org/freedesktop/freedesktop/-/issues/540>, is applying for "guest" status something that can be done via the web interface?

07:38 <tzimmermann> airlied, i see. thanks. i'll wait here for the fix then.

07:42 <danvet> daniels, emersion Mithrandir ^^

07:42 <danvet> I thought we shut down the github mirroring already?

07:43 <emersion> the scripts are still there

07:45 <emersion> someone with access needs to delete the GitHub repos and remove the scripts

07:50 <dolphin> drm-intel repository seems to be broken when trying to push to drm-intel-next-fixes: "remote: hooks/post-receive.d/01-github: line 1: /run/github-mirror/named-pipe: Permission denied"

07:52 <emersion> yeah, discussed above

07:52 <daniels> fun morning then

07:55 <bentiss> whot: that token is not automatically picked up by damspam reload, so we need to do a helmfile update and then kill the old pod

07:55 <bentiss> whot: all done now

08:05 <daniels> tzimmermann, danvet: both cgit and anongit clones should work now

08:05 <danvet> thx

08:05 <tzimmermann> daniels, thanks a lot

08:05 <danvet> dolphin, ^^

08:08 <whot> bentiss: thx!

08:08 <daniels> did we conclusively decide to nuke the GitHub mirror and just keep the namespace to prevent squatters?

08:09 <emersion> that was the consensus AFAIU

08:09 <emersion> an email was sent a few months ago

08:10 <emersion> eric_engestrom: ^

08:12 <dolphin> confirmed to be working, thanks!

08:15 <daniels> emersion: ah yeah, Eric sent out a straw poll, with a deadline of two months ago, that no-one responded to

08:16 <emersion> yea

08:17 <daniels> k, I'll do that later then

08:24 <eric_engestrom> yeah, we're way past the "one month to say something" deadline, but I just haven't had time to actually go through each project and delete the dead ones

08:24 <eric_engestrom> I've removed a couple but that's all

08:35 <daniels> I can just nuke all of them

08:36 <eric_engestrom> sure, but I wanted to go through and see if there was any activity on any of them before deleting them

08:37 <eric_engestrom> (also, don't delete mesa3d/mesa, it's still used for its macos ci, although it's currently out of sync but I'll fix that at some point)

08:37 <daniels> yeah I wasn't going to

08:37 <daniels> we already had a bot that auto-closed PRs on all freedesktop/* projects

08:37 <daniels> and issues were disabled

08:37 <daniels> if you want to mine those for any useful contributions though, I'll leave you to do that

08:43 <eric_engestrom> I was considering doing that as well, but since I already haven't had time to just go though, I probably won't have time to look at closed PRs :]

08:46 <eric_engestrom> hmm, when I set ssh://git@github.com:Mesa3D/mesa.git as the push url, gitlab says "Remote mirrors url is blocked: URI is invalid"

08:47 <eric_engestrom> (gitlab wants the `ssh://`, says "this field is required" if it doesn't start with the protocol name)

08:51 <daniels> try ssh://git@github.com/Mesa3D/mesa.git, not :

08:51 <daniels> ooi what activity are you looking for on the repos, if not PRs (closed) or issues (disabled)?

08:57 <eric_engestrom> thanks, replacing the : with / was what was needed :)

08:58 <eric_engestrom> (I'll send an MR to update the gitlab docs, this should really be written down with the rest of the instructions)

08:58 <eric_engestrom> re: activity, I think I got confused; I'll blame not being fully awake yet :P

08:58 <eric_engestrom> but you're right, that all the activity there is

08:59 <eric_engestrom> (I mean, if you lump "discussion" into "issues")

09:09 <eric_engestrom> urgh, github is refusing the sync because "missingSpaceBeforeDate: invalid author/committer line - missing space before date"

09:09 <eric_engestrom> since rewriting our history is not an option, I just hope github provides a way to disable these checks :/

10:10 <daniels> I don't believe it does, no

10:10 <daniels> those are just tags though, so we'd have to replace those tags

10:10 <daniels> the commit history is fine

10:11 <daniels> and you can see that through git fsck locally