use public git repository in documentation