Initial commit

2020-04-07 13:03:04 +00:00
commit 00f842d9bf
1673 changed files with 471161 additions and 0 deletions
--- a/wp-content/plugins/gitium/inc/ssh-git
+++ b/wp-content/plugins/gitium/inc/ssh-git
@ -0,0 +1,8 @@
+#!/bin/sh
+SSH_AUTH_SOCK=''
+SSH="ssh -q -F /dev/null -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null"
+if [ -z "$GIT_KEY_FILE" ] ; then
+    exec $SSH "$@"
+else
+    exec $SSH -i "$GIT_KEY_FILE" "$@"
+fi