push

Push current branch changes to origin and create or update the corresponding pull request; use when asked to push, publish updates, or create pull request.

Independent GitHub snapshot · Automated classification · Original documentation governs