On 2016-09-21 13:55, Frédéric Chapoton wrote:
This is because the patchbot called with "sage -patchbot" needs
currently to be launched from the branch of
https://trac.sagemath.org/ticket/20736
Well, *you* (or anybody else) could help by reviewing that ticket.
--
You received this message becau
On 21 September 2016 at 12:55, Frédéric Chapoton wrote:
> This is because the patchbot called with "sage -patchbot" needs currently to
> be launched from the branch of https://trac.sagemath.org/ticket/20736
>
> So you need to switch back to this branch.. This is very inconvenient, but
> as long as
This is because the patchbot called with "sage -patchbot" needs currently
to be launched from the branch of https://trac.sagemath.org/ticket/20736
So you need to switch back to this branch.. This is very inconvenient, but
as long as this ticket is not closed, thiis is like that. I would strongly
Related question: My patchbot-running machine was rebooted
ungracefully. It's on a git branch called ticket_merged, and ./sage
-patchbot fails with
/home/jec/sagedev/src/bin/sage: line 271:
/home/jec/sagedev/local/bin/patchbot/patchbot.py: No such file or
directory
How to recover? I was runnin
