Rodrigo Arias wrote:
On Mon, Sep 29, 2025 at 09:22:13AM +1000, Kevin Koster wrote:
This command works to change the Git repo URL if you've already cloned from GitHub:
git remote set-url origin https://git.dillo-browser.org/dillo
It did take quite a while to respond to "git pull" after that.
I'm not sure if there is a problem on our end or is it expected to take long. Here is what I see if I clone the repo from our cgit and github in my old netbook:
Same here, the total clone time seems similar to GitHub. "git pull" is now responding much quicker too: $ time git pull Fetching objects: 536, done. From https://git.dillo-browser.org/dillo * [new branch] ci -> origin/ci * [new branch] mouse-back-forward -> origin/mouse-back-forward Already up to date. real 0m 4.76s user 0m 0.20s sys 0m 0.26s But there were changes pulled in last time whereas now it's "already up to date". I know last time I was sure Git had hung and started writing a post warning about that, checking back just in case, and Git eventually finished while I was writing. At least a minute or two for an operation that's usually fairly immediate. It _could_ have coincidentally been a network issue or a problem reading/writing storage on my end (actually eMMC flash) causing the delay I suppose. Anyway so long as it works it's not really a problem for me.
Bonus: WIP bug tracker https://bug.dillo-browser.org/
Excellent! Although apparantly Dillo can't find a ← character in the font I'm using (which is probably my problem, I like lean font packages).