add GitHub notes to doc development guide