From 4a3f87ad43b4d3c76f49b9b6065314021f2389e7 Mon Sep 17 00:00:00 2001
From: Robin Kloppe <git@mainboarder.de>
Date: Fri, 18 Aug 2023 22:40:37 +0200
Subject: [PATCH] Removed Push Options link from User Index - Bug #30

---
 docs/user/index.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/user/index.md b/docs/user/index.md
index 7b24a499..e45699bb 100644
--- a/docs/user/index.md
+++ b/docs/user/index.md
@@ -40,7 +40,6 @@ involved in running it on their machines.
   - [API Usage](./api-usage/)
   - [API Reference](https://codeberg.org/api/swagger)
   - [Migrating Repositories](https://docs.codeberg.org/advanced/migrating-repos/)
-  - [Push Options](./push-options/)
   - [Push to create](./push-to-create/)
   - [Agit setup](./agit-support/)
   - [Packages](./packages/)