chore: enable edit links on pages for easy PRs from external editors (#300)

* chore: enable edit links on pages for easy PRs from external editors

* chore: change repo to docsRepo to not add link to Github

Author: katelynsills

main/.vuepress/config.js

@@ -224,6 +224,13 @@ module.exports = {
         }
       ],
     },
+    docsRepo: 'Agoric/documentation',
+    // if your docs are not at the root of the repo:
+    docsDir: 'main',
+    // defaults to false, set to true to enable
+    editLinks: true,
+    // custom text for edit link. Defaults to "Edit this page"
+    editLinkText: 'Help us improve this page!',
 
     zoeVersion: 'Alpha Release v0.8.1',
     zoeDocsUpdated: '2020-9-15'