* 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