Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

lschuermann
Copy link
Member

Pull Request Overview

Add core team call notes of 2020-10-23. The discussion around app ids was quite involved. As always, I hope to have attributed each argument correctly and not misrepresented anyone's opinion.

Testing Strategy

This pull request was tested by proofreading.

TODO or Help Wanted

N/A

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make prepush.

alistair23
alistair23 previously approved these changes Oct 26, 2020
hudson-ayers
hudson-ayers previously approved these changes Oct 26, 2020
@lschuermann lschuermann dismissed stale reviews from hudson-ayers and alistair23 via 59c6cd5 October 26, 2020 18:13
@bradjc bradjc merged commit 5c43104 into tock:master Oct 28, 2020
@lschuermann lschuermann deleted the notes/2020-10-23 branch December 17, 2020 07:04
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.

5 participants