Skip to content

Add notes from call on 2015-01-28#280

Merged
amirmc merged 3 commits into
mirage:masterfrom
amirmc:weekly
Feb 10, 2015
Merged

Add notes from call on 2015-01-28#280
amirmc merged 3 commits into
mirage:masterfrom
amirmc:weekly

Conversation

@amirmc
Copy link
Copy Markdown
Contributor

@amirmc amirmc commented Feb 10, 2015

Call was pretty brief and it's likely we'll need to roll-over some of the agenda points.

Comment thread tmpl/wiki/weekly/2015-01-28.md Outdated
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This issue is tracking the status: mirage/mirage-dev#52
Most components can be released with the updates now, but some need to be done together (e.g. TLS both provides and uses the new interface). It would be possible to make all the updates decoupled if preferred (e.g. first updating tls to provide the new interface, then releasing the new interface, then updating tls a second time to use the new API).

@amirmc
Copy link
Copy Markdown
Contributor Author

amirmc commented Feb 10, 2015

Since these are pretty late, I'll merge once Travis is green.

@amirmc
Copy link
Copy Markdown
Contributor Author

amirmc commented Feb 10, 2015

Thanks for comments. Added your amendments.

@amirmc
Copy link
Copy Markdown
Contributor Author

amirmc commented Feb 10, 2015

@mor1 I think the travis scripts have become brittle. I don't know when the changes happened but I'm assuming you've been tweaking things. Relying on GitHub to serve the scripts doesn't seem like a good long term plan. e.g the current build failed only because https://raw.githubusercontent.com/ocaml/ocaml-travisci-skeleton/master/.travis-ocaml.sh returns a Not Found

@amirmc amirmc mentioned this pull request Feb 10, 2015
@amirmc
Copy link
Copy Markdown
Contributor Author

amirmc commented Feb 10, 2015

Travis is broken but since I built this locally just fine, I'm merging anyway.

amirmc added a commit that referenced this pull request Feb 10, 2015
Add notes from call on 2015-01-28
@amirmc amirmc merged commit 658d8b8 into mirage:master Feb 10, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants