seal5.tools.git

Git utils for seal5.

Functions

get_author_from_settings(git_settings)