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

Make it a bit more obvious which is the send resource. #105

Closed
wants to merge 1 commit into from

Conversation

costinm
Copy link

@costinm costinm commented Jun 3, 2016

"push resource" is confusing me every time - "push" is used in all other resources.

@brianraymor
Copy link

I appreciate your point - but "push send" sounds redundant to me with the verb-verb repetition. (I always wanted to name it pushme with a nod to Dr. Doolittle.) I don't have a better proposal today, but I'll ponder it. @martinthomson - any thoughts?

@costinm
Copy link
Author

costinm commented Jun 3, 2016

How about "send resource" ? The problem is that all others have "push" - if push is redundant with send, than we shouldn't use "push message subscription" for the pull resource.

It's not a major problem - but every time I read it I get lost - in particular the "push resource" vs "push subscription" ( i.e. the pull/receive one ).

@brianraymor
Copy link

Proposed renaming "push resource" to "push delivery resource" for clarification. No responses. Closing.

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.

None yet

2 participants