first of all, in your trac account you need the public key of your ssh key-pair (If I lose you here, please shout!)
login to trac in the browser, go to Preferences, and select the SSH Keys tab; paste there your id_rsa.pub from ~/.ssh/ on your local machine, and click "Save..." below the pasting frame. Then, clone a fresh beta from trac's git server mkdir newbeta cd newbeta git init git remote add trac g...@trac.sagemath.org:sage.git -t develop git pull trac should get you the latest beta (6.8.beta2 or 3). Now, create a new branch there. git checkout -b mychanges and copy over your changes, e.g. cp MYSAGEBLAHBLAHDIR/src/sage/sandpiles/* src/sage/sandpiles/ now you should see your changes as seen by git: git status Now, add them (using git add) and commit them (using git commit). A shortcut, that will add all the changes listed by git status, is to do git commit -a We now have a local copy of your changes in the git tree. Now, push them to git trac server, as described in http://doc.sagemath.org/html/en/developer/manual_git.html#pushing-your-changes-to-a-ticket HTH, Dima On Friday, 5 June 2015 23:08:52 UTC+1, Volker Braun wrote: > > On Friday, June 5, 2015 at 8:15:39 PM UTC+2, kcrisman wrote: >> >> You presumably shouldn't have to clone, I *think* every Sage copy comes >>> with a git repo at this point - is that correct, all? >>> >> > Yes. The most important git command is "git status" and tells you where > you currently are. The preferred (=less confusing) workflow is to first > create a branch and then start editing. There are various ways to later fix > it, though. For example "git checkout -b my_branch" would work in your > situation. > > -- 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-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
