Camelia, the Perl 6 bug

IRC log for #darcs, 2013-04-09

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

All times shown according to UTC.

Time Nick Message
00:24 mizu_no_oto joined #darcs
00:57 xymox joined #darcs
02:31 mizu_no_oto joined #darcs
02:51 preflex_ joined #darcs
04:18 edwardk joined #darcs
04:23 edwardk Heffalump: so what is the news on the darcs gsoc front?
04:36 carter joined #darcs
05:41 Heffalump edwardk: no go
06:12 whaletechno joined #darcs
06:22 donri joined #darcs
06:39 lelit joined #darcs
07:40 raichoo joined #darcs
08:03 lelix joined #darcs
09:51 owst joined #darcs
10:10 alexei joined #darcs
10:29 edwardk joined #darcs
11:47 mizu_no_oto joined #darcs
13:17 mizu_no_oto joined #darcs
13:33 edwardk joined #darcs
14:16 markstos joined #darcs
14:17 markstos If I do a "darcs pull -p", it succeeds or fail, but if I try "darcs pull --match", I get "darcs: Bad default option: command 'pull' has no option 'ssh-cm'.". I don't understand why.
14:17 lambdabot markstos: You have 2 new messages. '/msg lambdabot @messages' to read them.
14:20 markstos Oh, If I use darcs --summary --match, the error goes way. That's...interesting.
14:29 lelit joined #darcs
14:51 whaletechno joined #darcs
14:55 edwardk Heffalump: =(
14:56 edwardk Heffalump: mosh also failed to get in this year
14:56 dolio joined #darcs
15:51 javier_rooster joined #darcs
16:36 raichoo joined #darcs
16:59 mizu_no_oto joined #darcs
17:14 edwardk joined #darcs
17:24 drostie joined #darcs
17:24 alexei joined #darcs
17:35 edeast joined #darcs
17:41 alexei joined #darcs
18:03 carter joined #darcs
18:17 yitz joined #darcs
18:19 yitz joined #darcs
18:33 edwardk joined #darcs
18:35 vikraman joined #darcs
19:00 edwardk joined #darcs
19:11 edwardk joined #darcs
19:30 drostie joined #darcs
21:57 javier_rooster joined #darcs
21:58 carter joined #darcs
22:05 edeast joined #darcs
22:42 javier_rooster joined #darcs
22:52 mizu_no_oto joined #darcs
22:58 saep joined #darcs
23:03 edwardk joined #darcs
23:28 dolio joined #darcs
23:36 edwardk joined #darcs
23:50 delamonpansie joined #darcs
23:56 edeast joined #darcs
23:57 mizu_no_oto joined #darcs

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