github login
configuration in several files (to separate usual configuration from oauth2 secret)
hlint ameliorations