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

Do not merge: Plain text description of the API #147

Draft
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

mwcraig
Copy link
Member

@mwcraig mwcraig commented Jul 19, 2021

The intent of this is not to be merged. The intent was to do two things:

This is intended for making the discussion of the API separate from
particular implementations of the API
@mwcraig mwcraig marked this pull request as draft July 19, 2021 16:06
@mwcraig mwcraig added API Issues that relate to the API itself rather than implementations question Further information is requested labels Jul 19, 2021
@pllim
Copy link
Member

pllim commented Jul 19, 2021

But... but... our code is self-documenting...

@mwcraig
Copy link
Member Author

mwcraig commented Jul 19, 2021

Agreed -- that is why this isn't intended to land in the repository ever. I thought it would be helpful to talk about any remaining API issues/questions before deciding how we move forward with that API (ABC or protocol or...).

Put differently, I wasn't sure whether to update #126 or #142 so I copy-pasted into a separate doc 😬

@pllim
Copy link
Member

pllim commented Jul 19, 2021

Both @gpdf and @astrofrog did not like my approach with #126 , so maybe #142 is the better way to go. 🤷

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
API Issues that relate to the API itself rather than implementations question Further information is requested
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants