From 0479e0dfa81adcb507f651e1116eeaada7d0c151 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Fri, 11 Sep 2020 21:19:43 +0200
Subject: [PATCH] Revert "chore(release): try to skip build"

This reverts commit d6fe76ff77a60a4df43bf880320f5b5469f57c35.
---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 1bc26cf8c..eacb0b8a4 100644
--- a/package.json
+++ b/package.json
@@ -26,7 +26,7 @@
     "i18n:test": "./missing-translations.sh",
     "prerelease": "./is-clean.sh && npm run test",
     "release": "standard-version -a",
-    "postrelease": "git push -o ci.skip --follow-tags origin master"
+    "postrelease": "git push --follow-tags origin master"
   },
   "husky": {
     "hooks": {