Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

There is now a new branch without merge conflict on the trac ticket. So you "just" need to pull and compile. This is quite a task if you are not used to this process.

Some instructions for usage of git for sage developement are here : Please read them carefully.

(1) First, git clone as you did, and then switch to the develop branch.

(2) create a new branch as a copy of "develop" using

git checkout develop  -b some_branch_name_with_cheeger_inside

(3) Then

git pull origin public/ticket/21942

should work and then you will need to compile sage (takes time..)

You may need to configure "trac" as a remote server for git