Re: [sage-devel] git and patchbot

2013-08-30 Thread Volker Braun
On Friday, August 30, 2013 8:48:04 AM UTC+1, Marc Mezzarobba wrote: > Would git ls-remote be suitable? > That just gives you the current branch head. In that case you can just fetch the branch and use whatever the current branch head is. This is probably what should happen if the "Commit" trac

Re: [sage-devel] git and patchbot

2013-08-30 Thread Robert Bradshaw
Oh, one more prerequisite: we need to populate the commit field on trac (preferably automatically) so the patchbot can tell when a commit gets out of date. Alternatively, perhaps there's a way to query the commit a branch points to via http without having to fetch it? - Robert On Thu, Aug 29, 2

Re: [sage-devel] git and patchbot

2013-08-29 Thread Robert Bradshaw
No. It's mostly done; I set out to finish it up just a couple of days ago (but ran into a bunch of other issues trying to figure out what branch to build, merge into, and the fact that tests didn't even all pass in the git branch). Actually being able to pull, build, and pass tests is a prerequisit