Hi,

starting the patchbot fails with the following:

blub@brown:/path/to/sage-patchbot$ ./sage --patchbot --ticket=15850
Getting trusted author list...
WARNING: Do not use this copy of sage while the patchbot is running.
'/path/to/sage-patchbot'/sage -i ccache
Found package ccache in /path/to/sage-patchbot/upstream/ccache-3.1.9.spkg
Package ccache-3.1.9 is already installed.
Use 'sage -f /path/to/sage-patchbot/upstream/ccache-3.1.9.spkg' to force
a reinstallation.
git checkout patchbot/base
Already on 'patchbot/base'
git fetch https://github.com/sagemath/sage.git
+master:patchbot/base_upstream
fatal: Unable to find remote helper for 'https'
Traceback (most recent call last):
  File "/path/to/sage-patchbot/local/bin/patchbot/patchbot.py", line
776, in <module>
    main(args)
  File "/path/to/sage-patchbot/local/bin/patchbot/patchbot.py", line
737, in main
    patchbot.check_base()
  File "/path/to/sage-patchbot/local/bin/patchbot/patchbot.py", line
295, in check_base
    do_or_die("git fetch %s +%s:patchbot/base_upstream" %
(self.config['base_repo'], self.config['base_branch']))
  File "/path/to/sage-patchbot/local/bin/patchbot/util.py", line 91, in
do_or_die
    raise Exception, "%s %s" % (res, cmd)
Exception: 32768 git fetch https://github.com/sagemath/sage.git
+master:patchbot/base_upstream


What should I do? (Sage 6.1.1)

Daniel

-- 
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.

Reply via email to