New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
add core notes 2020-06-12 #1929
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
bors d+
✌️ hudson-ayers can now approve this pull request. To approve and merge a pull request, simply reply with |
bors r+ |
Build failed: |
bors retry |
* Leon: I have another approach, Can I open a PR with this other approach so | ||
we can compare them both |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@lschuermann please go ahead if you have some draft PR to experiment with this, and/or some design sketch to share on #1905! On my side, I likely won't have time to work on a PR proposal this week.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks! I'll see what I can do, I don't know whether I'll make it this week either. Given that our proposals have only minor technical differences (from what I see the difference manifests itself rather in the usage semantics), if you have any idea for implementing i.e. the core kernel-held allow-table efficiently, I'd love to chat about that (e.g. on Slack).
Pull Request Overview
This pull request adds notes from todays core wg meeting. Hopefully I represented everything correctly, there was a good amount of fast-paced discussion that was pretty technical.
Testing Strategy
N/A
TODO or Help Wanted
N/A
Documentation Updated
/docs
Formatting
make prepush
.