Rodrigo Arias wrote:
> As well as a new git web frontend (cgit) that works well from Dillo 
> (after some CSS fixes), so we can link to a given commit or source file:
> 
> https://git.dillo-browser.org/

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 also working on migrating the issues away from GitHub, so we can 
> host them ourselves. Same for the CI infrastructure.

Great to hear. "Not hosted on GitHub" is a rare feature for Web
browsers now and I'm glad Dillo is reimplementing it. :)
_______________________________________________
Dillo-dev mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to