GitHub sync

    Push commits every document as one commit. Pull imports .md files from the branch.