From 971e69255c61d5566f3b1c182ed8f1fdcb00eabb Mon Sep 17 00:00:00 2001
From: ebner <simon.ebner@psi.ch>
Date: Mon, 8 Dec 2025 10:49:59 +0100
Subject: [PATCH] rename file to have auto play

---
 docs/admin-guide/puppet/puppet_environments.md                  | 2 +-
 .../{dev_environments.m4v => dev_environments.mp4}              | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename docs/admin-guide/puppet/puppet_environments/{dev_environments.m4v => dev_environments.mp4} (100%)

diff --git a/docs/admin-guide/puppet/puppet_environments.md b/docs/admin-guide/puppet/puppet_environments.md
index 466c8095..a54ecc8e 100644
--- a/docs/admin-guide/puppet/puppet_environments.md
+++ b/docs/admin-guide/puppet/puppet_environments.md
@@ -26,7 +26,7 @@ puppet agent -t --environment=issue_x
 
 The following video shows all the necessary steps in detail. (The left terminal is a shell on my workstation, the right terminal is a shell on a test server)
 
-<video controls width="100%" src="./dev_environments.m4v">video</video>
+<video controls width="100%" src="dev_environments.mp4">video</video>
 
 Once you are done with the develoment and testing create a merge request for the branch to the __preprod__ branch.
 
diff --git a/docs/admin-guide/puppet/puppet_environments/dev_environments.m4v b/docs/admin-guide/puppet/puppet_environments/dev_environments.mp4
similarity index 100%
rename from docs/admin-guide/puppet/puppet_environments/dev_environments.m4v
rename to docs/admin-guide/puppet/puppet_environments/dev_environments.mp4