From c8afff5864915fd126e260e6bafba8f7d53b8218 Mon Sep 17 00:00:00 2001
From: Futago-za Ryuu <futagoza.ryuu@gmail.com>
Date: Sun, 29 Sep 2019 06:40:07 +0100
Subject: [PATCH] Fix pegjs-dev publisher

---
 tools/publish-dev/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/publish-dev/index.js b/tools/publish-dev/index.js
index 68b8ddb..b0662f6 100644
--- a/tools/publish-dev/index.js
+++ b/tools/publish-dev/index.js
@@ -2,7 +2,7 @@
 
 const publish = require( "./publish" );
 
-if ( process.env.GITHUB_EVENT_NAME === "push" ) {
+if ( process.env.GITHUB_EVENT_NAME !== "push" ) {
 
     console.log( "Skipping publish because dev release's are only published on `git push`." );
     process.exit( 0 );