Developers’ Guide¶

Thanks to gitwash there is a good description at the first link below. These pages were created automatically by executing make_gitwash.sh and requires only the file gitwash_dumper.py.

The second link was created before discovering gitwash but may still be useful...