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
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.
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. Jef
On Dec 22, 2017, at 2:15 PM, Jef Driesen <jef@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
On 22-12-17 23:21, Dirk Hohndel wrote:>> On Dec 22, 2017, at 2:15 PM, Jef Driesen <jef@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.
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. Jef
Hi Jef, 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. - The GitHub issue system is really nice, it includes labels, milestones, automagic issue closing with commit messages. Have a look at https://github.com/Microsoft/TypeScript/issues for an example how you could use it. - Merge requests and forks can be easily made, managed and tracked with it. - Most CI tools (if you use them) all have a seamless integration with GitHub. - The wiki pages can be created online and also as a separate repo, these are ll written in markdown - 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. I hope my personal experience with GitHub might help you made an informed discussion. Vincent On 23 December 2017 at 23:06, Jef Driesen <jef@libdivecomputer.org> wrote:
On 22-12-17 23:21, Dirk Hohndel wrote:>> On Dec 22, 2017, at 2:15 PM, Jef Driesen <jef@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.
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.
Jef
_______________________________________________ devel mailing list devel@libdivecomputer.org http://libdivecomputer.org/cgi-bin/mailman/listinfo/devel
On Dec 23, 2017, at 2:06 PM, Jef Driesen <jef@libdivecomputer.org> wrote:
On 22-12-17 23:21, Dirk Hohndel wrote:>> On Dec 22, 2017, at 2:15 PM, Jef Driesen <jef@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.
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.
Subsurface switched to the GitHub issues system and never looked back. A migration from trac to GitHub would have to be manual AFAIK I haven't looked into migrating site content as mine is WordPress. But static content like yours should be very easy to migrate to the GitHub system. /D
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.
On Fri, Jan 5, 2018 at 8:47 AM, Jef Driesen <jef@libdivecomputer.org> wrote:
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.
Fantastic! Henrik
participants (4)
-
Dirk Hohndel -
Henrik B A -
Jef Driesen -
Vincent Hagen