Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2016-08-16

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:48 Big_G joined #darcs
00:50 sm g'day all
00:51 sm a heads up: I'm doing system upgrades, some darcs hub downtime is possible in the next few days
01:06 Weltraumschaf_ joined #darcs
03:22 Riastradh joined #darcs
04:30 sm joined #darcs
04:53 sm_ joined #darcs
04:56 sm_ upgrade complete
07:43 Weltraumschaf joined #darcs
07:49 Weltraumschaf_ joined #darcs
10:09 Weltraumschaf_ joined #darcs
10:35 Weltraumschaf_ joined #darcs
12:56 Big_G joined #darcs
15:01 Riastradh joined #darcs
15:57 gh_ joined #darcs
15:59 gh_ sm, great!
15:59 sm hey gh_, how are things
16:00 gh_ sm, great, I've been in a post 2.12 release hibernation and I haven't really came back to darcs dev yet
16:01 gh_ but I'm teaching Haskell and Prolog this semester so I'm going to be a little more involved
16:01 sm nice!
16:02 gh_ sm, talking about darcs hub, what happened to http://hub.darcs.net/ganesh/ssh/issue/5 ? I remember there was some discussion about it earlier this year
16:03 sm gh_: I haven't heard anything
16:05 sm I think that was to solve http://hub.darcs.net/simon/darcsden/issue/140, right pointfree, fr33domlover ?
16:07 sm gh_: it looks like some changes are waiting to be released in the ssh package
16:08 sm oh, and hopefully that will fix http://hub.darcs.net/simon/darcsden/issue/134 as well
16:08 sm then I can update darcs hub's ssh server
16:23 gh_ sm, alright yes, it was the ssh package
16:25 gh_ "data-roaming" o_O
17:51 Weltraumschaf joined #darcs
17:54 gh_ joined #darcs
19:05 fr33domlover sm, my todo list contains a task: review pointfree's code, merge with mine, apply to Heffalump's code
19:06 fr33domlover I'm still working on the same web app that uses the 'ssh' package, just been working on other parts of it and didn't have time for SSH stuff
20:50 der-landgraf joined #darcs
20:51 Riastradh joined #darcs

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary