code: def redirect(
      to, headers=None, status=302, content_type="text/html; charset=utf-8"
  ):
      
      headers = headers or {}
  
      # URL Quote the URL before redirecting
      safe_to = quote_plus(to, safe=":/%#?&=@[]!$&'()*+,;")
  
      # According to RFC 7231, a relative URI is now permitted.
      headers["Location"] = safe_to
  
      return HTTPResponse(
          status=status, headers=headers, content_type=content_type
      )
docs: Abort execution and cause a 302 redirect (by default).
  
      :param to: path or fully qualified URL to redirect to
      :param headers: optional dict of headers to include in the new request
      :param status: status code (int) of the new request, defaults to 302
      :param content_type: the content type (string) of the response
      :returns: the redirecting Response