The wiki from push says:
In distributed version control, push is the action of sending local changes to a remote repository
But, contrary to this description, the questions tagged [push] seem to be of a number of different varieties:
- Git push requests
- The JavaScript
Array.push
function, or equivalent, to add items to a collection - The specific case of the above as it applies to stacks, with the obligatory popping, bringing about its own discussion
- Push notifications
- Who knows what else wasn't on the first couple pages
So, two questions:
- Is the above wiki correct?
- If so, we need to retag the non-Git stuff.
- If not, what specifically should and should not push cover? Then the wiki needs to be edited and the other stuff pushed out.
- How would one tag Create a calendar server to publish events to subscribers ? It seems to be about a push service, but not a push-notification as the wiki specifically states mobile devices.
:P