Permanent mirror of repository on GitHub?

[Henrik B A]

Hi Jef.

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.

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.

Cheers,
Henrik
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://libdivecomputer.org/pipermail/devel/attachments/20171214/836f9136/attachment.html>