Add deploy_ragent_from_github

1 files changed, 8 insertions, 0 deletions

diff --git a/personal_infra/deploy_ragent_from_github b/personal_infra/deploy_ragent_from_github
new file mode 100755
index 00000000..a643e020
--- /dev/null
+++ b/personal_infra/deploy_ragent_from_github
@@ -0,0 +1,8 @@
+#!/bin/sh
+
+set -ue
+
+run_id=$1
+shift
+
+ansible-playbook playbooks/site.yaml --tag deploy_ragent -e run_id=$run_id "$@"