I had to upgrade pip in order to get a patchbot version which knows itself to be 2.7.2:
sage-patchbot@rk02-math:~/sage/logs/patchbot$ pip install --user --upgrade https://github.com/sagemath/sage-patchbot/archive/2.7.2.tar.gz Collecting https://github.com/sagemath/sage-patchbot/archive/2.7.2.tar.gz Downloading https://github.com/sagemath/sage-patchbot/archive/2.7.2.tar.gz (97kB) 100% |████████████████████████████████| 102kB 303kB/s Installing collected packages: sage-patchbot Running setup.py install for sage-patchbot ... done Successfully installed sage-patchbot-2.7.0 You are using pip version 8.1.1, however version 9.0.1 is available. You should consider upgrading via the 'pip install --upgrade pip' command. sage-patchbot@rk02-math:~/sage/logs/patchbot$ pip install --user --upgrade pip Collecting pip Downloading pip-9.0.1-py2.py3-none-any.whl (1.3MB) 100% |████████████████████████████████| 1.3MB 688kB/s Installing collected packages: pip Successfully installed pip-9.0.1 sage-patchbot@rk02-math:~/sage/logs/patchbot$ pip install --user --upgrade https://github.com/sagemath/sage-patchbot/archive/2.7.2.tar.gz Collecting https://github.com/sagemath/sage-patchbot/archive/2.7.2.tar.gz Downloading https://github.com/sagemath/sage-patchbot/archive/2.7.2.tar.gz (97kB) 100% |████████████████████████████████| 102kB 304kB/s Installing collected packages: sage-patchbot Found existing installation: sage-patchbot 2.7.2 Uninstalling sage-patchbot-2.7.2: Successfully uninstalled sage-patchbot-2.7.2 Running setup.py install for sage-patchbot ... done Successfully installed sage-patchbot-2.7.2 -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
