docs: Update for the git repo move from git.gnome.org to gitlab.gnome.org91a1ec0ef6e3cbfb6c83ae8e17564733c8e840f62/head
commit91a1ec0ef6e3cbfb6c83ae8e17564733c8e840f6
authorChristoph Reiter <creiter@src.gnome.org>
Wed, 10 Jan 2018 17:17:56 +0000 (10 18:17 +0100)
committerChristoph Reiter <reiter.christoph@gmail.com>
Wed, 10 Jan 2018 18:31:08 +0000 (10 19:31 +0100)
tree248674a8102fc70620b582ef7eed8cdbd8619422
parentadf5e51ccf9d9dbf938c0da496e0d4d81d3284f6
docs: Update for the git repo move from git.gnome.org to gitlab.gnome.org

Changes all the links to point to the gitlab instance.

Adds the gitlab setup to the sphinx theme configuration, so the theme
can show "Edit on GitLab" links on each page.

Create a new page pointing to the git report and bug tracker.
Someone on IRC mentioned that this info is hard to find, so try to make
it more proiminent.
docs/bugs_repo.rst [new file with mode: 0644]
docs/changelog.rst
docs/conf.py
docs/devguide/dev_environ.rst
docs/devguide/overview.rst
docs/guide/porting.rst
docs/index.rst