I guess I found the documentation I had been expecting:
http://trac.sagemath.org/wiki/QuickStartSageGit
Makes me realize that “master” isn't the same as “public/sage-git/master”,
so it seems I was using the wrong branch.
I'm doing things by the book now, and everything looks good so far.
I also
Note the big red warning on the top of the page. Use public/sage-git/master
instead of master until things settle down.
git fetch trac u/user/description
git checkout -b trac_master FETCH_HEAD
make
On Thursday, September 19, 2013 1:20:14 PM UTC+1, martin@gmx.net wrote:
>
> I'm still trying
Sorry, should have been
git fetch trac public/sage-git/master
git checkout -b trac_master FETCH_HEAD
make
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-dev
