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

6993e2a

Author: brian (git@myr.sh)

Date: Tue Sep 19 17:38:12 2023 -0300

Parent: a52dc58

Improved git index page

Diff

diff --git a/post-receive b/post-receive
index 881c840..4935cd5 100755
--- a/post-receive
+++ b/post-receive
@@ -41,7 +41,13 @@ cat << EOF > "$OUT/git.html"
</style>
</head>
<body>
-	<h1>Repositories</h1>
+	<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
+	mailing lists. Its hooks are in the scripts repo. Please read the next
+	sections before making a contribution.
+
+	<h2>Repositories</h2>
<dl>
EOF

@@ -49,21 +55,38 @@ for dir in "$GITDIR"/*
do
{
cat <<- EOF
-		<dt>$(basename $dir)</dt>
+		<dt><a href=$(basename $dir)/index.html>$(basename $dir)</a></dt>
<dd>$(cat "$dir/description")</dd>
<dd>Last commit
EOF
-		git --git-dir "$dir" log -n 1 --format="%h at %ah"
+		git --git-dir "$dir" log -n 1 --format="%h at %dh"
echo "</dd>"
}  >> "$OUT/git.html"
done

cat << EOF >> "$OUT/git.html"
</dl>
+
+	<h2>Contributing</h2>
+	The dovel team uses the git email workflow to accept contributions.
+	All email sent to dovel.email is considered as git mailling lists, check
+	each repository for email to a specific project. To send email about
+	other subjects please address them to
+	<a href=mailto:dovel@myr.sh>dovel@myr.sh</a>.
+
+	<h3>Email addresses</h3>
+	To send contributions use the repo name as the email's recipient, i.e.
+	to contribute to the server project send email to
+	<kbd>server@dovel.email</kbd>.
+
+	<h3>Email etiquette</h3>
+	We only accept plain text email. More info and recomendations can be
+	found on <a href=//useplaintext.email>useplaintext.email</a>.
</body>
</html>
EOF

+# repo specific
# create commit pages
# while read oldrev newrev ref
# do