Skip to content
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

Open Pull requests #68

Open
mmiladi opened this issue Sep 29, 2020 · 0 comments
Open

Open Pull requests #68

mmiladi opened this issue Sep 29, 2020 · 0 comments

Comments

@mmiladi
Copy link
Contributor

mmiladi commented Sep 29, 2020

Hello,

We have several long-standing open PRs which some of them are even reviewed. I would suggest that we take a pragmatic approach, merge those that add completely new documents, and publish them as is. This lets everyone see the rendered version. Since they are new docs, it's better to have something than None (N>0)!

This would include PRs:

There are two PRs for the protocol content. How do they relate to each other? Who is knowledgeable to finalize this review @teresa-m @bebatut ?

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

No branches or pull requests

1 participant