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
rbrune has joined #freedesktop
Seirdy has quit []
Seirdy has joined #freedesktop
chenshijhie has joined #freedesktop
Haaninjo has quit [Quit: Ex-Chat]
chenshijhie has quit [Ping timeout: 480 seconds]
chenshijhie has joined #freedesktop
___nick___ has joined #freedesktop
thaller has joined #freedesktop
chenshijhie has quit [Remote host closed the connection]
<bnieuwenhuizen>
Venemo: disable the fossils CI job?
<bnieuwenhuizen>
it was disabled a week ago or so when the same git issue popped up and then that disable got reverted when someone thought it was fixed
<Venemo>
how do I disable it? should I open another MR for that?
<bnieuwenhuizen>
put a . before the name in the .gitlab-ci.yml
<bnieuwenhuizen>
Venemo: see 7b8ea3384832656e7db0e94692aca47f10083cce
<Venemo>
bnieuwenhuizen: will I have to wait for someone to review that or can I simply merge it?