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). _______________________________________________ Dillo-dev mailing list -- [email protected] To unsubscribe send an email to [email protected]
