From 751a4cd82fd49a4b0efe3875076d25d070ed3348 Mon Sep 17 00:00:00 2001
From: Jim Schubert <james.schubert@gmail.com>
Date: Wed, 12 Feb 2020 12:55:09 -0500
Subject: [PATCH] [docs] Support old site's users.html (#5297)

Our Docusaurus 1.x site had a users.html page. This adds a redirect from
that location to /users
---
 website/src/pages/users.html.js | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 website/src/pages/users.html.js

diff --git a/website/src/pages/users.html.js b/website/src/pages/users.html.js
new file mode 100644
index 000000000000..14407a842187
--- /dev/null
+++ b/website/src/pages/users.html.js
@@ -0,0 +1,7 @@
+import React from 'react';
+import {Redirect} from '@docusaurus/router';
+function Home() {
+    return <Redirect to="/users" />;
+}
+
+export default Home;