IRC channel logs
2023-06-13.log
back to list of logs
<PurpleSym>How I safely remove my GPG from .guix-authorizations safely? <PurpleSym>(The organizational one, not my private key.) <civodul>PurpleSym: you remove it and you commit, nothing special <civodul>(you can run "guix git authenticate" after the commit to double-check) <rekado>PurpleSym: will something happen to the guix-science substitute server (or domain name)? <rekado>I suppose there’s no harm in letting ci.guix.gnu.org build guix-science then <civodul>PurpleSym: oh, changes in your employment situation, right? <PurpleSym>Not sure about the domain name. I don't have any influence on that. <PurpleSym>Yeah, sucks. But due to internal issues there is no home office for me and no successor and thus no further maintenance. <PurpleSym>It's all open source though, if anyone wants to run it. <rekado>if there’s information on how to deploy it I’d like to set up a copy here. <rekado>(gotta use this new OpenStack thing for something useful) <civodul>i can envision a PsychNotebook talk there :-) <PurpleSym>(Oh, August 15th is mangled with the email address.) <PurpleSym>I might have to clarify the open source status again though. There have been confusing messages from our current leadership about that 😕 <PurpleSym>rekado: There is a non-branded version of the frontend if that helps running it at your institute. <PurpleSym>civodul: It’s not currently registered, as far as I know. <PurpleSym>But it’s definitely a brand name and not something I’d use outside of ZPID.