gitfiletree repository properties
Initial commit to github, I hope.