OpenCloud
/
element-web
mirror of https://github.com/vector-im/element-web
1
0
Fork 0
Code Issues Releases Wiki Activity

talk to jenkins via https for the /dev redeployer

pull/2727/head
Matthew Hodgson 2016-12-07 14:07:31 +00:00
parent 65a31cc8a9
commit 2b51cda6da
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/redeploy.py
View File

@ -127,7 +127,7 @@ def on_receive_jenkins_poke():
if __name__ == "__main__": if __name__ == "__main__":
parser = argparse.ArgumentParser("Runs a Vector redeployment server.") parser = argparse.ArgumentParser("Runs a Vector redeployment server.")
parser.add_argument( parser.add_argument(
"-j", "--jenkins", dest="jenkins", default="http://matrix.org/jenkins/", help=( "-j", "--jenkins", dest="jenkins", default="https://matrix.org/jenkins/", help=(
"The base URL of the Jenkins web server. This will be hit to get the\ "The base URL of the Jenkins web server. This will be hit to get the\
built artifacts (the .gz file) for redeploying." built artifacts (the .gz file) for redeploying."
) )