How to do SSL redirect?

The Domain-level redirects don’t do the redirect Redirect options | Netlify Docs

https://github.com/asarkar/non-compos-mentis/blob/master/netlify.toml