Then something weird must have happened. Is your one local branch in 
> sync with the remote branch "develop"? 
>
> If so, create a new branch called "path_tableaux" (or whatever else 
> you want to call it) by 
> "git checkout -b path_tableaux". 
> This automatically moves you onto that branch. Now, call 
> "git pull trac u/Bruce/path_tableaux" 
> to get your files home. 
>

Thanks! I now have my files in my file system.
Once again, thank you for your help.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-combinat-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to