← list

scripts

Repo containing scripts to be used with dovel, and git hooks that powers our web interface.

curl https://dovel.email/scripts.tar tar

f42ed74

Author: brian (git@myr.sh)

Date: Mon Sep 25 00:42:27 2023 -0300

Added link to index

Diff

diff --git a/update-git-index b/update-git-index
index 799e9df..044f003 100755
--- a/update-git-index
+++ b/update-git-index
@@ -7,6 +7,8 @@ echo "updating git pages"
# git.html lists all repos
cat << EOF > "$OUT/git.html"
$(pageheader "dovel")
+	&larr; <a href="/">dovel website</a>
+
<h1>Dovel project Git home</h1>
Welcome! Here you'll find general info about our projects and how to
contribute to them. We proudly use dovel email technology for our