[pitivi] docs: Add a button to edit pages on github

[Thibault Saunier <tsaunier src gnome org>]

commit 5a6bdaad0387cff8e30b3f81029780d34b93d4ac
Author: Thibault Saunier <tsaunier gnome org>
Date:   Fri Aug 11 15:49:57 2017 -0400

    docs: Add a button to edit pages on github

 docs/hotdoc.json |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/docs/hotdoc.json b/docs/hotdoc.json
index d0df971..5c56112 100644
--- a/docs/hotdoc.json
+++ b/docs/hotdoc.json
@@ -9,5 +9,7 @@
     "syntax_highlighting_activate": true,
     "html_extra_theme": "extra",
     "git_upload_repository": "git github com:pitivi/pitivi.github.io.git",
-    "html_theme": 
"https://github.com/thiblahute/hotdoc-gnome-theme/releases/download/0.3/hotdoc-gnome-theme-0.3.tar.xz?sha256=84675ba05a11a3807a388ead1bda695c87a5eb2d858770562e9d3a1cce02f35e";
+    "html_theme": 
"https://github.com/thiblahute/hotdoc-gnome-theme/releases/download/0.3/hotdoc-gnome-theme-0.3.tar.xz?sha256=84675ba05a11a3807a388ead1bda695c87a5eb2d858770562e9d3a1cce02f35e";,
+    "edit_on_github_repository": "https://github.com/pitivi/pitivi";,
+    "edit_on_github_branch": "master"
 }