init: a repo for access rights of workspaces of infilytics@alps

2025-05-17 15:01:07 +00:00
commit c7ad6d661a
4 changed files with 91 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 -- "$@"