Skip to content

Should I stage and committ pulled changes before I push? #22835

Discussion options

You must be logged in to vote

Is there something to stage/commit after a pull? (There shouldn’t be. Pull is supposed to be the same as fetch and merge.)

It nice to keep your remote up-to-date. If you’re pushing directly to the remote with your changes, and don’t intend to open a Pull Request then there’s probably no point doing an intermediate push.

Replies: 2 comments

Comment options

You must be logged in to vote
0 replies
Answer selected
Comment options

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants