git_remote_helpers / git / __init__.pyon commit Merge branch 'jn/maint-doc-user-manual-html-doctype' (f9c8e7c)
   1