Permanent mirror of repository on GitHub?

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