Revision history [back]

Updating an already cloned git-repository is normally done with git pull .... See

http://doc.sagemath.org/html/en/developer/walk_through.html

for more basic information to set up git properly with remote repositories to pull updates from. Once you have that set up (and are on, say, master branch), you should be able to do something like git pull origin master to update your branch. Most of the time, the make build step after that should be sufficient to update your build. See the rest of the developer guide for tips on what to do when it's not. You can also look into using the git-trac utility that is explained there. It makes several configuration steps a little easier.