From 675cc8e5af041bd61957cfd378138d0dba9625b4 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sat, 19 Sep 2015 15:18:06 +0200
Subject: [PATCH] Maint: Remember to push to Github, too

---
 maint/RELEASE | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/maint/RELEASE b/maint/RELEASE
index e66568c..b1ab665 100644
--- a/maint/RELEASE
+++ b/maint/RELEASE
@@ -14,3 +14,5 @@ git push --tags
 maint/release
 
 Update progs/pciutils at Jabberwock.
+
+Check that everything was pushed to both kernel.org and github.com.
-- 
2.39.2