From ba3c77ef23eab3d0ab597ed89a7811be12ca0a6a Mon Sep 17 00:00:00 2001
From: Ebrahim Byagowi <ebrahim@gnu.org>
Date: Fri, 15 May 2020 12:14:23 +0430
Subject: [PATCH] [docs] minor update on releasing

---
 RELEASING.md | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/RELEASING.md b/RELEASING.md
index 22ea3d4b1..c15126a5f 100644
--- a/RELEASING.md
+++ b/RELEASING.md
@@ -55,8 +55,6 @@ HarfBuzz release walk-through checklist:
     They should be in the ballpark, perhaps slightly larger.  Sometimes they
     do shrink, that's not by itself a stopper.
 
-12. Push the commit and tag out: "git push --follow-tags".  Make sure it's
-    pushed both to freedesktop repo and github.
-
-13. Go to GitHub release page [here](https://github.com/harfbuzz/harfbuzz/releases),
-    edit the tag, upload artefacts and NEWS entry and save.
+12. Push the commit and tag out: "git push --follow-tags".  Go to GitHub release
+    page [here](https://github.com/harfbuzz/harfbuzz/releases), edit the tag,
+    upload artefacts and NEWS entry and save.