Export GitHub as documents