Permanent mirror of repository on GitHub?

[Jef Driesen]

On 14-12-17 09:06, Henrik B A wrote:
> Would you consider creating a permanent & updated mirror of libdevcomputer on 
> GitHub?  I like browsing the source code in a browser, and GitHub is such a good 
> tool for doing that.

I'll look into it. Been a bit busy with daily live, so it may take a bit longer.

> The web interface at 
> http://git.libdivecomputer.org/?p=libdivecomputer.git;a=summary is slow, times 
> out a lot, and is really not very usable.

I rarely use the web interface. I'm not aware of any issues there.

Jef