Next MJD's Git tips and utilities 20

Remotes

        git fetch    origin dev
        git rebase   origin/dev
        git merge    origin/dev
        git checkout origin/dev
        git log      origin/dev
        git push     origin dev

Next Copyright © 2021 M. J. Dominus