Well if every release was tagged one could simply point sage -I to the URL of the tarball that is automagically created by github. On 28 Apr 2014 12:11, "Volker Braun" <vbraun.n...@gmail.com> 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<http://patchbot.sagemath.org/ticket/?machine=debian/jessie/sid/x86_64/3.11-1-amd64/silence&status=open> >> ). >> >> 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 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 > 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. > -- 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.
