Finish implementation

src/add-to-wiki

@@ -0,0 +1,30 @@
+#!/bin/bash
+# Usage $0 {owner/repo} {filename} {commit_message}
+# Stores the content of stdin in a file named {filename} in the wiki of
+# the provided repo
+# Reads envvar GITHUB_TOKEN
+
+set -eux
+
+stdin="$(cat -)"
+repo_name="${1}"
+filename="${2}"
+commit_message="${3}"
+dir="$(mktemp -d)"
+cd $dir
+
+git clone "https://${GITHUB_TOKEN}@github.com/${repo_name}.wiki.git" .
+echo $stdin > "${filename}"
+
+if ! git diff --exit-code
+then
+    git add "${filename}"
+
+    git config --global user.email "coverage-comment-action"
+    git config --global user.name "Coverage Comment Action"
+    git commit -m "$commit_message"
+
+    git push -u origin
+fi
+
+echo "https://raw.githubusercontent.com/wiki/${repo_name}/${filename}"