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

curl -O tar.gz

Latest commit: (7170f34) by brian at 2024-04-19: Fixed typos on git page

Dovel Scripts

This repo has shell scripts that are part of the dovel project, some are meant only for deployment on our website. Some explanation:

If you want scripts to use as hooks, see the hooks repo.


Scripts are super welcome, as well as full programs to be compiled. Add here anything that may help saving emails the way you like.

To submit patches please follow the instructions on the page.