IRC channel logs

<zimoun>rekado: for pushing, you still need a CodeBerg account, no?

<zimoun>And you also need specific permissions on the repo itself to be allowed to open a PR that way without forking, no?

<zimoun>What appears to me interesting is the command-line instruction by Codeberg: ’git fetch -u origin +refs/pull/71/head:rekado/pr-add-python-jaxopt’

<zimoun>Well, I’ll give a look this week-end if this could be integrated to fj.el.

<zimoun>And maybe, we could have a script under etc/ as etc/submit.scm which hides many stuff. Maybe even creating a “ghost” user who allows anyone to submit a PR without an account.

<rekado>zimoun: for pushing I need to use my SSH key. I guess that implies having an account, because that's what's needed to get my SSH key registered and my permissions set.

IRC channel logs

2025-02-09.log