gitfiletree repository properties
Github dump