#mirage on 2015-03-25 — irc logs at freenode.irclog.whitequark.org

2014-11-12 23:09 avsm changed the topic of #mirage to: mirage 2 released! party on!

00:00 <thomasga1> avsm: I've just reverted sorry

00:00 <avsm> spool up the releases in mirage-dev i guess

00:01 <thomasga1> yea. it's just harder to automatise

00:02 <thomasga1> I need to modify all the release scripts again … and then do the bulk release manually :(

00:02 <thomasga1> but yes, you're right

00:02 nate_prime has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

00:02 <avsm> i do think having a simple repo transplant script would be a useful mode in opam-publish

00:02 <thomasga1> I just cannot compile the dev version of irmin with pinning

00:03 <thomasga1> (which push me to click on the green buttons too quickly)

00:03 <thomasga1> yes, opam-publish needs some love ...

00:04 seangrove has joined #mirage

00:07 <avsm> at least i can compile it now that ctypes 0.4 is out :)

00:09 seangrove has quit [Ping timeout: 256 seconds]

00:11 rgrinberg has quit [Ping timeout: 246 seconds]

00:13 seangrove has joined #mirage

00:14 avsm has quit [Quit: Leaving.]

00:21 MrScout has quit [Remote host closed the connection]

00:35 rgrinberg has joined #mirage

00:38 brson has quit [Quit: leaving]

00:46 seangrove has quit [Ping timeout: 265 seconds]

00:58 brson has joined #mirage

00:59 brson has quit [Client Quit]

01:01 thomasga1 has quit [Quit: Leaving.]

01:07 boogie has quit [Remote host closed the connection]

01:25 yomimono has quit [Ping timeout: 256 seconds]

01:56 AltGr has joined #mirage

02:03 AltGr has left #mirage [#mirage]

03:16 kdef has quit [Quit: Leaving]

03:24 seangrove has joined #mirage

03:24 boogie has joined #mirage

03:31 boogie has quit [Quit: Leaving...]

06:25 larhat has joined #mirage

06:34 rgrinberg has quit [Ping timeout: 244 seconds]

07:06 dsheets has quit [Ping timeout: 265 seconds]

07:26 avsm has joined #mirage

07:30 rgrinberg has joined #mirage

07:35 rgrinberg has quit [Ping timeout: 246 seconds]

08:32 avsm has quit [Quit: Leaving.]

08:41 jonludlam has quit [Ping timeout: 264 seconds]

08:45 larhat has quit [Quit: Leaving.]

09:05 thomasga has joined #mirage

09:16 mort___ has joined #mirage

09:19 rgrinberg has joined #mirage

09:23 avsm has joined #mirage

09:26 rgrinberg has quit [Ping timeout: 265 seconds]

09:30 yomimono has joined #mirage

09:35 avsm has quit [Quit: Leaving.]

09:40 thomasga has quit [Quit: Leaving.]

09:59 yomimono has quit [Ping timeout: 256 seconds]

10:02 dsheets has joined #mirage

10:14 larhat has joined #mirage

10:20 thomasga has joined #mirage

10:23 jonludlam has joined #mirage

10:28 JuggleTux has quit [Ping timeout: 272 seconds]

10:39 andreas has quit [Quit: Leaving.]

10:58 thomasga has quit [Quit: Leaving.]

11:02 thomasga has joined #mirage

11:04 thomasga has quit [Client Quit]

11:10 rgrinberg has joined #mirage

11:15 rgrinberg has quit [Ping timeout: 250 seconds]

11:15 andreas has joined #mirage

11:18 jonludlam has quit [Ping timeout: 264 seconds]

11:21 dsheets has quit [Ping timeout: 265 seconds]

11:21 thomasga has joined #mirage

11:32 thomasga has quit [Quit: Leaving.]

11:46 dsheets has joined #mirage

11:54 yomimono has joined #mirage

12:36 jonludlam has joined #mirage

12:59 rgrinberg has joined #mirage

13:04 rgrinberg has quit [Ping timeout: 252 seconds]

13:08 thomasga has joined #mirage

13:16 thomasga has quit [Quit: Leaving.]

13:26 jonludlam has quit [Ping timeout: 245 seconds]

13:39 jonludlam has joined #mirage

13:46 yomimono has quit [Ping timeout: 256 seconds]

13:59 rgrinberg has joined #mirage

14:02 nate_prime has joined #mirage

14:04 rgrinberg has quit [Ping timeout: 248 seconds]

14:07 yomimono has joined #mirage

14:13 JuggleTux has joined #mirage

14:19 thomasga has joined #mirage

14:23 thomasga has quit [Client Quit]

14:33 brson has joined #mirage

14:36 MrScout_ has joined #mirage

14:37 MrScout_ has quit [Remote host closed the connection]

15:01 dsheets has quit [Ping timeout: 256 seconds]

15:03 kdef has joined #mirage

15:12 jonludlam has quit [Ping timeout: 248 seconds]

15:13 brson has quit [Quit: leaving]

15:14 brson has joined #mirage

15:15 dsheets has joined #mirage

15:15 rgrinberg has joined #mirage

15:20 rgrinberg has quit [Ping timeout: 272 seconds]

15:21 mort___ has quit [Ping timeout: 256 seconds]

15:22 amirmc has joined #mirage

15:25 thomasga has joined #mirage

15:38 brson has quit [Quit: leaving]

15:57 <amirmc> Google Hangout link for the fortnightly call is: https://plus.google.com/hangouts/_/gq7e36svyh3okzlban3s65nwnya

15:57 MrScout has joined #mirage

15:57 djs55 has joined #mirage

16:00 <amirmc> Hi @djs55, want to join us this week? (I'm not actually expecting you) :P

16:00 <djs55> alas I don't have any headphones and this is a very quiet office!

16:01 <djs55> I think I'll have to wait for the minutes to come out later :)

16:01 <amirmc> ok

16:02 rgrinberg has joined #mirage

16:02 <seangrove> amirmc: Mind if I join silently?

16:02 <amirmc> seangrove: https://plus.google.com/hangouts/_/gq7e36svyh3okzlban3s65nwnya

16:03 <amirmc> It's open to all :)

16:03 yomimono has quit [Ping timeout: 265 seconds]

16:06 <ronny> oops

16:10 <mattg> i'm joining too, to listen in

16:17 rgrinberg has quit [Ping timeout: 255 seconds]

16:26 <seangrove> Yay Irmin update \o/

16:27 <seangrove> js_of_ocaml...?

16:30 <mattg> I'm at work so no microphone

16:31 <mattg> Just listening in to get a flavour of what you are doing

16:34 <mattg> sorry @amirmc - feels bad just ignoring you but in a busy office!

16:36 <amirmc> That's ok!

16:37 <mattg> nothing in particular to contribute right now anyway, I'm just learning things at the moment

16:37 <amirmc> I only just saw the messages here. I just wanted to make sure that anyone who wants to raise something, has an opportunity to do so.

16:38 <mattg> it's appreciated. v. impressed by the level of openness in this project

16:38 jonludlam has joined #mirage

16:39 <mattg> at some point when I have some time (soon I hope) I'd like to have a go at a pioneer project, I'll get in touch with the list when I do

16:45 seangrove has quit [Ping timeout: 250 seconds]

16:47 thomasga has quit [Quit: Leaving.]

16:51 <amirmc> mattg: glad to hear it? also feel free to propose your own. It's best if it overlaps with some existing knowledge

16:51 MrScout has quit [Ping timeout: 256 seconds]

16:52 <amirmc> (that wasn't meant to be a question mark)

16:56 MrScout has joined #mirage

17:02 rgrinberg has joined #mirage

17:03 MrScout has quit [Ping timeout: 256 seconds]

17:04 amirmc has quit [Quit: Leaving.]

17:22 thomasga has joined #mirage

17:24 seangrove has joined #mirage

17:27 MrScout has joined #mirage

17:33 seangrove has quit [Ping timeout: 248 seconds]

17:33 jonludlam has quit [Ping timeout: 264 seconds]

17:41 djs55 has quit [Remote host closed the connection]

17:49 MrScout has quit [Read error: Connection reset by peer]

17:49 MrScout has joined #mirage

17:52 mort___ has joined #mirage

17:58 MrScout has quit [Remote host closed the connection]

18:03 mort___ has quit [Quit: Leaving.]

18:05 jonludlam has joined #mirage

18:05 MrScout has joined #mirage

18:08 j_king has quit [Ping timeout: 246 seconds]

18:11 andreas has quit [Quit: Leaving.]

18:25 nate_prime has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

18:31 j_king has joined #mirage

18:32 thomasga has quit [Ping timeout: 256 seconds]

18:33 MrScout_ has joined #mirage

18:34 MrScout has quit [Ping timeout: 265 seconds]

18:36 nate_prime has joined #mirage

18:40 nate_prime has quit [Client Quit]

18:50 thomasga has joined #mirage

19:14 larhat has quit [Quit: Leaving.]

19:19 thomasga has quit [Quit: Leaving.]

19:25 dsheets has quit [Ping timeout: 248 seconds]

19:27 mort___ has joined #mirage

19:31 MrScout_ has quit [Remote host closed the connection]

19:36 thomasga has joined #mirage

19:50 MrScout has joined #mirage

20:02 dsheets has joined #mirage

20:03 andreas has joined #mirage

20:04 andreas has quit [Client Quit]

20:09 dataangel has joined #mirage

20:11 <dataangel> Is it possible to make mirage os apps with languages other than ocaml?

20:29 yomimono has joined #mirage

20:35 MrScout has quit [Remote host closed the connection]

20:35 MrScout has joined #mirage

20:48 larhat has joined #mirage

20:53 brson has joined #mirage

21:02 andreas1 has joined #mirage

21:06 dsheets has quit [Ping timeout: 256 seconds]

21:07 JuggleTux has quit [Ping timeout: 248 seconds]

21:10 dsheets has joined #mirage

21:13 JuggleTux has joined #mirage

21:16 yomimono has quit [Ping timeout: 244 seconds]

21:30 mort___ has quit [Quit: Leaving.]

21:32 larhat has quit [Quit: Leaving.]

21:35 andreas1 has quit [Ping timeout: 265 seconds]

21:39 andreas1 has joined #mirage

22:06 dsheets has quit [Ping timeout: 256 seconds]

22:20 dsheets has joined #mirage

22:21 <dsheets> grrrrr argh bitbucket won't let you force-push to your own master branch... paternalistic crap

22:23 <yiannis_t> dsheets: does it have some kind of 'protected' branch like Gitlab?

22:25 <dsheets> probably

22:56 MrScout has quit [Ping timeout: 265 seconds]

22:56 MrScout__ has joined #mirage

23:06 dsheets has quit [Ping timeout: 256 seconds]

23:20 yomimono has joined #mirage

23:23 thomasga has quit [Quit: Leaving.]

23:25 thomasga has joined #mirage

23:25 thomasga has quit [Client Quit]