IRC channel logs


back to list of logs

*** sets mode: +ns
***Server sets mode: +ns
***Server sets mode: +ns
***rekado_ sets mode: +t
<efraim>what's the plan for working on the guix-past repo? push to a branch and merge-request when it passes the pipeline?
<efraim>I pushed python2@2.4 to a branch on guix-past
<civodul>efraim: nice!
<civodul>i wanted to make it authenticated and all
<civodul>would that work for you?
<efraim>yeah, that works for me
<efraim>I also noticed that I couldn't push directly to master
<civodul>oh, weird
<efraim>something about it being protected
<civodul>there are "protected branches" and whatnot on Gitlab
<civodul>i never fully understood that
<civodul>i have to click on something
<civodul>lemme see
<efraim>I thought it was just that it couldn't be deleted or force pushed
<efraim>as-is it forces the pipeline to pass I guess
<civodul>efraim: could you rebase, have your commits signed with the right key, etc.?
<civodul>i didn't find the settings for protected branches
<efraim>sure, although I think it should be signed with the correct key already
<civodul>oh found it!
<civodul>so if you want you can push your commit rebased on master
<civodul>should work now
<efraim>I rebased on master and force pushed it to the python24 branch
<efraim>I can try pushing it to master
<efraim>worked that time
<civodul>we'll have to check if the pipeline goes green
*civodul has to go
<efraim>does the getting started section of the README need to be adjusted for the authentication?
<civodul>ah yes, we'll adjust it later