Repo containing scripts to be used with dovel, and git hooks that powers our web interface.
Author: blmayer (bleemayer@gmail.com)
Date: Mon Oct 2 15:03:56 2023 -0300
Parent: 9fbabd4
Removed git script
diff --git a/update-git-index b/update-git-index deleted file mode 100755 index f2c7a06..0000000 --- a/update-git-index +++ /dev/null @@ -1,54 +0,0 @@ -#!/bin/sh - -echo "updating git pages" - -. ./hooks/aux.sh - -# git.html lists all repos -cat << EOF > "$OUT/git.html" - $(pagehead "dovel") - ← <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 - mailing lists. Its hooks are in the scripts repo. Please read the next - sections before making a contribution. - - <h2>Repositories</h2> - <dl> -EOF - -for dir in "$HOME/git/dovel.email"/* -do - cat <<- EOF >> "$OUT/git.html" - <dt><a href=$(basename $dir)/index.html>$(basename $dir)</a></dt> - <dd>$(cat "$dir/description")</dd> - EOF -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>. Please CC me as well so I can reply - faster: <kbd>dovel@myr.sh</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>. Also - <a href=//git-send-email.io>git-send-email.io</a> has instructions on - how to setup git to send email for many platforms. -</body> -</html> -EOF -