From 479aba8011cc809599324cf6d9d3d33248872ed5 Mon Sep 17 00:00:00 2001
From: mimir-d <mimir-d@users.noreply.github.com>
Date: Mon, 14 Oct 2024 16:01:13 +0100
Subject: [PATCH] fix removed command from publish instructions

Signed-off-by: mimir-d <mimir-d@users.noreply.github.com>
---
 DEVELOPERS.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/DEVELOPERS.md b/DEVELOPERS.md
index de4bc6a..68a829b 100644
--- a/DEVELOPERS.md
+++ b/DEVELOPERS.md
@@ -37,5 +37,6 @@ $ cargo release tag --sign-tag --execute
 4. push with tags
 ```bash
 $ git checkout main
+$ git push
 $ git push --tags
 ```