e581967 backend: cleanup the example configuration

4 files Authored by praiskup 3 years ago, Committed by praiskup 3 years ago,
    backend: cleanup the example configuration
    
    - drop the unused "dist_git_url" config option
    - drop the unused "exit_on_worker" config option
    - drop unused "verbose" config option
    - document tht "consecutive_failure_threshold" config option
    - document the "ssh.builder_config" option
    - document Redis DB config options
    - white-space "style" fixes
    - document the "frontend_base_url" option