Deployed a980db0e08 to v4.2.4 with MkDocs 1.2 and mike 1.0.1

latest/contributing/github_workflow/index.html

@@ -1,16 +0,0 @@
-<!DOCTYPE html>
-<html>
-<head>
-  <meta charset="utf-8">
-  <title>Redirecting</title>
-  <noscript>
-    <meta http-equiv="refresh" content="1; url=../../../v4.2.4/contributing/github_workflow/" />
-  </noscript>
-  <script>
-    window.location.replace("../../../v4.2.4/contributing/github_workflow/");
-  </script>
-</head>
-<body>
-  Redirecting to <a href="../../../v4.2.4/contributing/github_workflow/">../../../v4.2.4/contributing/github_workflow/</a>...
-</body>
-</html>