avsm changed the topic of #mirage to: mirage 2 released! party on!
rgrinberg has quit [Ping timeout: 250 seconds]
agarwal1975 has quit [Quit: agarwal1975]
rgrinberg has joined #mirage
brson has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #mirage
brson has joined #mirage
brson has quit [Quit: leaving]
rgrinberg has quit [Ping timeout: 265 seconds]
noddy has quit [Ping timeout: 250 seconds]
noddy has joined #mirage
andreas231 has quit [Quit: Leaving.]
copy` has quit [Quit: Connection closed for inactivity]
<reynir>
demonimin: The author of that[1] btree implementation has put his email in the git commit messages, maybe you can try ask in email, too?
<reynir>
Not sure if that would be considered rude
<demonimin>
reynir: I have, he did reply during the night
<reynir>
Ah, OK :-)
<demonimin>
I'll give him my packaging patches, but will probably continue working with hitchhiker trees now
andreas23 has joined #mirage
<reynir>
Did they respond to the licensing issue?
<demonimin>
yup, chose MIT
<reynir>
Cool!
<demonimin>
tsk, github's git server is unresponsive
mort___ has joined #mirage
kensan_ has quit [Quit: leaving]
kensan has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
andreas23 has quit [Ping timeout: 250 seconds]
andreas23 has joined #mirage
demonimin has quit [Remote host closed the connection]
milog has quit [Ping timeout: 260 seconds]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
andreas23 has quit [Ping timeout: 245 seconds]
andreas23 has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
andreas23 has quit [Ping timeout: 256 seconds]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
andreas23 has joined #mirage
yomimono has joined #mirage
mort___ has quit [Ping timeout: 256 seconds]
andreas23 has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
agarwal1975 has joined #mirage
miragebot has joined #mirage
<miragebot>
mirage/master 9d0b6ad Mindy Preston: get MODE from build matrix; test ukvm and virtio
<miragebot>
[mirage] yomimono pushed 4 new commits to master: https://git.io/vPQ4J
<miragebot>
mirage/master d04b848 Mindy Preston: mercilessly reduce the number of entries in the build matrix...
<miragebot>
mirage/master b00ccbd Mindy Preston: make sure the env is clean
miragebot has left #mirage [#mirage]
<Drup>
yomimono: since outreachy is soon apparently, what should I do, concretely, to add the projects I proposed some times ago in the list for applicants ?
<yomimono>
drup: the "authoritative" source for our list of projects is the pioneer projects page, formerly on the github mirage/mirage-www wiki and now in canopy
<yomimono>
(note that applications were due on the 17th of this month though)
<yomimono>
(for the upcoming round, I mean)
<Drup>
I know
<Drup>
but I expected someone with the given authority to add them once people agree with them
<yomimono>
oh, hm, I'm surprised you're missing privileges for that
<Drup>
It's not a question of privileges, I don't push project proposition for something like mirage as someone not even working in cambridge myself, I propose, and ~~someone~~ accepts them and add them
<yomimono>
or do you not perceive there to be agreement? last I remember people thought these were good ideas, but you weren't available to mentor and nobody else had stepepd forward
<Drup>
or at least, that's what I expected
<Drup>
frankly, I have no idea, the process is quite, hum, muddy
<yomimono>
yes, it's at about our usual level of process I think :P
<Drup>
so what, I just PR ?
<yomimono>
that'll at least get people thinking about whether they have time to mentor these projects again
<yomimono>
the situation may have changed for some of the team between now and when last we discussed it, which I think was several weeks ago
<yomimono>
(although I'm bad at time)
<Drup>
a month ago
<yomimono>
honestly the problem is that most core team people are overcommitted right now, not that anyone has a problem with the project definitions (IMO)
<Drup>
(side note: the new project page is completely unreadable and confusing)
<Drup>
(and much worse than the previous one)
<yomimono>
(I agree but my inventory of things to fix is already full)
<Drup>
(yeah, I guess)
<yomimono>
(I was about to say "file an issue" but I see there are no issues enabled on canopy-data)
<Drup>
yomimono: why the old one was removed, exactly ?
<Drup>
I mean, the form was good, you could just add the new projects and remove the difficulty ratting ...
<yomimono>
it's a wiki, anyone can edit it
<Drup>
anyone ? don't you need rights to edit project's wikis ?
<yomimono>
ISTR editing it before I had commit rights on mirage-www
<Drup>
yeah, there is an option "Restrict editing to users in teams with push access only. "
<yomimono>
that option isn't checked
<Drup>
no, but that's a choice
mort___ has joined #mirage
<Drup>
it was a generic "you", I meant "why people decided to move to canopy for this"
<yomimono>
...not sure whether you're imagining some kind of secret MirageOS core team cabal meeting where we looked at this and seriously weighed all the alternatives or what
<Drup>
No i'm not :D
<yomimono>
but IIRC hannes thought "hey we could put this in canopy", put it in canopy, and added a link to the top of the mirage-www wiki
<yomimono>
you could probably check the mailing list archives and see if there was more discussion on it, because it has a better memory than I do
<Drup>
right, that seems to be what happened
demonimin has joined #mirage
mort___ has quit [Ping timeout: 265 seconds]
mort___ has joined #mirage
agarwal1975 has quit [Quit: agarwal1975]
mort___ has quit [Quit: Leaving.]
miragebot has joined #mirage
<miragebot>
mirage/master c436273 Hannes Mehnert: mirage-types: network: error in custom module, use result, provide pp
<miragebot>
[mirage] yomimono pushed 4 new commits to master: https://git.io/vPQwA
<miragebot>
mirage/master 46a23ce Hannes Mehnert: use version_num, which potentially strips leading 'v'
<miragebot>
mirage/master 5f5480e Hannes Mehnert: no reason to depend on mirage-types in mirage