init: a repo for various pipelines of workspaces

2025-05-17 15:51:29 +00:00
commit 6ed0d234d4
7 changed files with 567 additions and 0 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 -- "$@"