Following the instructions here I was able to successfully move files from one repository to another with the following notes:
- The GitHub command line tool could not be used
- The actual command sequence was
- git remote add repoa /e/proposal/gtprop3
- git pull –no-rebase repoa master
- git remote rm repoa
- lots of git mv to move things where I wanted
- If –no-commit was added and then things were moved before commit, sourcetree was unable to log across renames and showed a blank log