New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix patchbot on Python 3 #27753
Comments
This comment has been minimized.
This comment has been minimized.
Author: Jeroen Demeyer |
Commit: |
New commits:
|
Reviewer: Frédéric Chapoton |
comment:4
ok, but you may well be the only "user" of that thing. |
comment:5
I know you don't like it, but I find it very convenient. |
comment:6
I was using it until the patchbot changes broke my patchbot. (It is convenient because I didn't need my own separate Python installation with |
Changed branch from u/jdemeyer/fix_patchbot_on_python_3 to |
The
sage --patchbot
command no longer works, now that the patchbot requires Python 3.Also add a new
--pip3
command to make it easier to install the patchbot.CC: @fchapoton
Component: scripts
Author: Jeroen Demeyer
Branch/Commit:
7ffd38c
Reviewer: Frédéric Chapoton
Issue created by migration from https://trac.sagemath.org/ticket/27753
The text was updated successfully, but these errors were encountered: