Use public/private website organization

gitlab/docs.sh

@@ -15,4 +15,4 @@ echo "runner=${CI_RUNNER_DESCRIPTION}" >> ${info}
 file=${CI_PROJECT_NAME}-${CI_BUILD_REF}.tar.bz2
 run_cmd tar cfj ${file} sphinx
 
-doc_upload ${file} software/bob/docs-upload/
+dav_upload ${file} public-upload/docs/incoming

gitlab/functions.sh

@@ -163,8 +163,8 @@ setup_deploy() {
 
 # Uploads a file to our intranet location via curl
 # $1: Path to the file to upload (e.g. dist/myfile.whl)
-# $2: Path on the server to upload to (e.g. wheels-upload/gitlab/)
-doc_upload() {
+# $2: Path on the server to upload to (e.g. private-upload/wheels/gitlab/)
+dav_upload() {
   log_info "curl: ${1} -> ${DOCSERVER}/${2}..."
   local code=`curl --location --silent --fail --write-out "%{http_code}" --user "${DOCUSER}:${DOCPASS}" --upload-file ${1} ${DOCSERVER}/${2}`
   if [[ ${code} == *204 || ${code} == *201 ]]; then

gitlab/wheels.sh

@@ -4,5 +4,5 @@
 source $(dirname ${0})/functions.sh
 
 for file in dist/*.whl; do
-  doc_upload ${file} wheels-upload/gitlab/
+  dav_upload ${file} private-upload/wheels/gitlab/
 done