From f6660a0d55ca8dc3a28f0217cb7126c683fb9c56 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Sat, 1 Sep 2018 10:32:08 +0530
Subject: [PATCH] Require PENV when publishing

---
 publish.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/publish.py b/publish.py
index bcf4269bd..668853bd9 100755
--- a/publish.py
+++ b/publish.py
@@ -331,8 +331,14 @@ def require_git_master(branch='master'):
         raise SystemExit('You must be in the {} git branch'.format(branch))
 
 
+def require_penv():
+    if 'PENV' not in os.environ:
+        raise SystemExit('The PENV env var is not present, required for uploading releases')
+
+
 def main():
     require_git_master()
+    require_penv()
     parser = argparse.ArgumentParser(description='Publish kitty')
     parser.add_argument(
         '--only',