IRC channel logs

<rekado>do you know how to create a codeberg pull request from a local set of commits?

<rekado>do I first need to fork and push the commits to the online fork?

<civodul>rekado: yeah, i think you have to do that

<civodul>which is okay in practice

<rekado>I see.

<civodul>the Codeberg folks at FOSDEM told us there exists another workflow where you don’t have to fork

<civodul>but i forgot what it’s called/how it works

<rekado>the fork, push, PR workflow is the same in Github / Gitlab.

<rekado>so I'm not complaining. I just hoped fj.el or codeberg-cli had implemented some other workflow.

<rekado>I have an addition to guix-science and wanted to try these tools. Maybe tonight.

<civodul>i haven’t tried forgejo-cli yet

<rekado>civodul: I just did this on the command line: git push origin HEAD:refs/for/master -o topic="pr-add-python-jaxopt" -o title="python: Add python-jaxopt."

<rekado>and it opened a PR for me: https://codeberg.org/guix-science/guix-science/pulls/71

<civodul>rekado: oh! impressive!

<civodul>where did you get that trick?

<rekado>I stumbled upon this URL: https://docs.gitea.com/usage/agit

<rekado>tried it and it worked as advertised

<civodul>ah yes, “agit”, that’s the thing they mentioned

<civodul>excellet

<civodul>*excellent

<civodul>i’ll add a link to it in the GCD

<civodul>interestingly, that breaks Cuirass:

<civodul>2025-02-07 15:23:41 error: Git error while fetching channels from https://codeberg.org/guix-science/guix-science.git https://git.savannah.gnu.org/git/guix.git: cannot locate remote-tracking branch 'origin/refs/pull/71/head'

IRC channel logs

2025-02-07.log