On Sat, Sep 21, 2013 at 8:06 AM, dexter ietf <dexter.i...@gmail.com> wrote:
> is it required to do a git pull before doing a git push.
> and is it required to do a git rebase after git pull just
> before git push. one of my git repo mandates the
> above wondering if there is a valid reason for this.
Only if your local changes have diverged. You have to either merge or rebase.
'git pull' by default does a merge, but you can force it to do a
rebase: 'git pull --rebase'.
You received this message because you are subscribed to the Google Groups "Git
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email
For more options, visit https://groups.google.com/groups/opt_out.