chore: adapt tasks.json for gitops workflow

2025-05-17 08:18:11 +00:00
parent a9adb834e5
commit eba420cc81
2 changed files with 80 additions and 20 deletions
--- a/.bin/gitops
+++ b/.bin/gitops
@ -0,0 +1,9 @@
+#!/bin/bash
+
+ssh -F /dev/null \
+  -o HostName=10.88.0.1 \
+  -o Port=22 \
+  -o User=infilytics \
+  -o IdentityFile=~/.ssh/id_ed25519 \
+  -o ProxyCommand=none \
+  gitops -- "$@"