If your git project would be named 'patchbot' instead of 'sage-patchbot' then every time you do a 'git tag' in your project a tarball with the right directory structure (I believe) is created on github. See project page / releases. This can then be installed via sage -I http...
Or any SPKG that is hosted on github. http://trac.sagemath.org/ticket/16259 Regards, On 29 Apr 2014 10:01, "Robert Bradshaw" <[email protected]> wrote: > sage -i > http://sage.math.washington.edu/home/robertwb/patches/patchbot-2.1.1.spkg > > I've updated the instructions as well. I'm not sure what the best way > is to mix sage spkgs and a live repository--that has always been a > pain... Any ideas? (I suppose the spkg could go a git pull, but then > the version would not be accurately reflected...) > > On Mon, Apr 28, 2014 at 3:11 AM, Volker Braun <[email protected]> > wrote: > > Whats the recommended way for running the git version of the patchbot? > Just > > installing it manually? Maybe there is a better way? > > > > > > > > > > On Monday, April 28, 2014 7:17:08 AM UTC+1, Ralf Stephan wrote: > >> > >> Several branches needing review and merging fine get an "ApplyFailed" > >> ticket by > >> patchbot runners (many thanks for the service BTW). This is due to > >> > >> https://github.com/robertwb/sage-patchbot/issues/10 > >> > >> where there are workarounds. So please if you run a patchbot check your > >> logs > >> (e.g. debian/jessie/sid/x86_64/3.11-1-amd64/silence). > >> > >> It would be prudent to improve the instructions to no longer recommend > >> installation > >> of patchbot-2.1.spkg but a newer spkg if it exists (it still doesn't). > >> > >> Regards, > > > > -- > > 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 [email protected]. > > To post to this group, send email to [email protected]. > > Visit this group at http://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to a topic in the > Google Groups "sage-devel" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-devel/GHMpjpAjmwA/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
