<div dir="ltr">Hi Jef,<div><br></div><div>As a GitHub / GitLab user I really like the idea of moving over (or mirror) to GitHub. Let me share my personal experiences with the GitHub system.</div><div> - The GitHub issue system is really nice, it includes labels, milestones, automagic issue closing with commit messages. Have a look at <a href="https://github.com/Microsoft/TypeScript/issues">https://github.com/Microsoft/TypeScript/issues</a> for an example how you could use it.</div><div> - Merge requests and forks can be easily made, managed and tracked with it.</div><div> - Most CI tools (if you use them) all have a seamless integration with GitHub.</div> - The wiki pages can be created online and also as a separate repo, these are ll written in markdown<div> - If you don't like markdown you can use GitHub Pages, with which you can commit static HTML, CSS, JS files  to a github repo which is accessable with a browser.</div><div><br></div><div>I hope my personal experience with GitHub might help you made an informed discussion.</div><div><br></div><div>Vincent</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On 23 December 2017 at 23:06, Jef Driesen <span dir="ltr"><<a href="mailto:jef@libdivecomputer.org" target="_blank">jef@libdivecomputer.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 22-12-17 23:21, Dirk Hohndel wrote:>> On Dec 22, 2017, at 2:15 PM, Jef Driesen <<a href="mailto:jef@libdivecomputer.org" target="_blank">jef@libdivecomputer.org</a>> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
On 14-12-17 09:06, Henrik B A wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
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.<br>
</blockquote>
<br>
I'll look into it. Been a bit busy with daily live, so it may take a bit longer.<br>
</blockquote>
<br>
Would you like me to add that, Jef? It isn't hard.<br>
</blockquote>
<br></span>
I already have a github account. So adding libdivecomputer is no doubt just a few clicks. But what I want to look into are the extra features that github offers. Can we also use github for the tickets, wiki, etc? Can we easily migrate our existing content and stuff like that. So far I've only used github as a user.<span class="HOEnZb"><font color="#888888"><br>
<br>
Jef</font></span><div class="HOEnZb"><div class="h5"><br>
______________________________<wbr>_________________<br>
devel mailing list<br>
<a href="mailto:devel@libdivecomputer.org" target="_blank">devel@libdivecomputer.org</a><br>
<a href="http://libdivecomputer.org/cgi-bin/mailman/listinfo/devel" rel="noreferrer" target="_blank">http://libdivecomputer.org/cgi<wbr>-bin/mailman/listinfo/devel</a><br>
</div></div></blockquote></div><br></div>