* Mention `github status` in docs
instead of `github hastoken`, which was renamed.
Signed-off-by: Andrew Ferrazzutti <andrewf@element.io>
* Document `github login`
Signed-off-by: Andrew Ferrazzutti <andrewf@element.io>
* Add details on webhooks
* More doc things
* More docs
* More documentation changes
* Tidy tidy
* Lots more documentation
* Support defaults for all GitHub configuration options
* Add metrics changes
* s/Added/Add