From 52af088bd1b44c96fb04b0c4f178c07b37f9af54 Mon Sep 17 00:00:00 2001
From: Enrico Berndt <enrico.berndt@gmail.com>
Date: Tue, 12 Mar 2024 13:51:11 +0100
Subject: [PATCH] Changed overseer url from .org to .dev (#7)