From 394cff927b95153df610e76f077340fb17f79029 Mon Sep 17 00:00:00 2001
From: ebner <simon.ebner@psi.ch>
Date: Wed, 10 May 2023 10:37:46 +0200
Subject: [PATCH] fix url

---
 admin-guide/puppet/development.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/admin-guide/puppet/development.md b/admin-guide/puppet/development.md
index 38501cf3..d99c752e 100644
--- a/admin-guide/puppet/development.md
+++ b/admin-guide/puppet/development.md
@@ -19,7 +19,7 @@ puppet agent -t --environment=issue_x
 Continue the commit / push / test cycle until your changes are working. Afterwards create a merge request for the branch to the __preprod__ branch.
 
 
-<video src="../../_static/videos/dev_environments.m4v"></video>
+<video src="../../_static/videos/dev_environments.m4v">video</video>
 
 ## Development Environment Names