You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on May 29, 2022. It is now read-only.
HOWTO: fetch commits and branches directly from another user
Perhaps a co-developer has been working on a new feature branch in their local repo, but has not yet pushed that branch to the central repo on the Github server:
go to the root path of your git repo: $ cd $HOME/git/gpstk
add a new remote for your co-developer's repo: $ git remote add doe /home/jdoe/dev/gpstk
fetch all updates from your co-developer's repo: $ git fetch —all
list all branches, looking for the new one: $ git branch -av
checkout an un-pushed feature branch to inspect: $ git checkout unpushed_feature