##// END OF EJS Templates
Deprecate and undocument install_ext...
Deprecate and undocument install_ext It seem to me that Python packaging has come up to a point where actually telling peoples they can install python extensions not using package manager is unreasonable. Recent extension even recommend using `install_ext` as **the way** to install things, which is unsecure, confusing, and there is no update mechanisme, nor version conflict resolution.

File last commit:

r7863:28e099c2
r21514:70215975
Show More
post_pr_test.py
13 lines | 308 B | text/x-python | PythonLexer
#!/usr/bin/env python
"""Post the results of a pull request test to Github.
"""
from test_pr import TestRun
testrun = TestRun.load_results()
testrun.post_logs()
testrun.print_results()
testrun.post_results_comment()
print()
print("Posted test results to pull request")
print(" " + testrun.pr['html_url'])