gitfiletree repository properties