[gnunet] branch master updated: add buildbot deployment file

[gnunet]

This is an automated email from the git hooks/post-receive script.

martin-schanzenbach pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 67096065b add buildbot deployment file
67096065b is described below

commit 67096065b07574975279718234128534f1bd993e
Author: Martin Schanzenbach <address@hidden>
AuthorDate: Thu May 14 11:07:02 2020 +0200

    add buildbot deployment file
---
 .buildbot/deploy.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.buildbot/deploy.sh b/.buildbot/deploy.sh
new file mode 100755
index 000000000..b956a3d92
--- /dev/null
+++ b/.buildbot/deploy.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+
+# Deploy docs from buildbot
+
+chmod -R ag+rX doc/
+rsync -a --delete doc/ address@hidden:~/doc_deployment/

-- 
To stop receiving notification emails like this one, please contact
address@hidden.