Revision history [back]

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 : https://doc.sagemath.org/html/en/developer/index.html#git-for-sage-development 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