Re: Permanent mirror of repository on GitHub?

On 2017-12-14 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.

https://github.com/libdivecomputer/libdivecomputer Jef