From f2ae0daec2bef8552d368f506f2b4c94fd05bae6 Mon Sep 17 00:00:00 2001
From: Jan Eitzinger <jan.treibig@gmail.com>
Date: Thu, 10 Feb 2022 18:49:08 +0100
Subject: [PATCH] Remove obsolete user repo

---
 repository/user.go | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 repository/user.go

diff --git a/repository/user.go b/repository/user.go
deleted file mode 100644
index 50a4378..0000000
--- a/repository/user.go
+++ /dev/null
@@ -1 +0,0 @@
-package repository