> On Dec 30, 2016, at 05:50, Henrik B A <[email protected]> wrote: > >> On Fri, Dec 30, 2016 at 2:46 PM, Henrik B A <[email protected]> wrote: >>> On Thu, Dec 29, 2016 at 9:29 PM, Dirk Hohndel <[email protected]> wrote: >>> >>> Pull requests with updates welcome >> >> https://github.com/Subsurface-divelog/subsurface doesn't seem to get >> updated, but https://github.com/torvalds/subsurface already has >> several PRs. Which should we use? > > Oops, those PRs were ancient. Should maybe be closed & removed?
I went through them and closed most of them. Two seemed worth a second look (which I'll do from my computer when I'm back at home). Sadly github doesn't appear to support turning off the pull request feature - but there appears to be a bot one could install to immediately close them. Also something I'll look at. /D _______________________________________________ subsurface mailing list [email protected] http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
