Reinstate deleted doc and redirect to another page

a4443c52 · Achilleas Pipinellis · 829106c0 · a4443c52
Commit a4443c52 authored Jan 13, 2022 by Achilleas Pipinellis
Show whitespace changes
Inline Side-by-side

Showing with 9 additions and 0 deletions

doc/development/experiment_guide/experimentation.md doc/development/experiment_guide/experimentation.md +9 -0

No files found.
--- a/doc/development/experiment_guide/experimentation.md
+++ b/doc/development/experiment_guide/experimentation.md
+---
+redirect_to: 'gitlab_experiment.md'
+remove_date: '2022-04-13'
+---
+
+This document was moved to [another location](gitlab_experiment.md).
+
+<!-- This redirect file can be deleted after <2022-04-13>. -->
+<!-- Before deletion, see: https://docs.gitlab.com/ee/development/documentation/#move-or-rename-a-page -->