Permanent mirror of repository on GitHub?

[Dirk Hohndel]

> On Dec 22, 2017, at 2:15 PM, Jef Driesen <jef at libdivecomputer.org> wrote:
> 
> 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.

Would you like me to add that, Jef? It isn't hard.

>> 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.

Since I'm the one who provides that website - let me be the first to admit. The web interface sucks. GitHub is leaps and bounds better.

/D