From cb47c515189f2d0ed0f1ef0fddd57c486d5b6372 Mon Sep 17 00:00:00 2001
From: Jay Berkenbilt <ejb@ql.org>
Date: Sat, 2 Feb 2019 09:00:50 -0500
Subject: [PATCH] Update release checklist

---
 README-maintainer | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/README-maintainer b/README-maintainer
index 4a49544b..994653e2 100644
--- a/README-maintainer
+++ b/README-maintainer
@@ -1,5 +1,7 @@
 ROUTINE DEVELOPMENT
 
+**Remember to check pull requests as well as issues in github.**
+
 Default:
 
 ./configure --enable-werror --disable-shared
@@ -32,7 +34,8 @@ RELEASE PREPARATION
   search for copyright. Don't forget copyright in manual. Also update
   debian copyright in debian package. Last updated: 2019.
 
-* Check all open issues in the sourceforge trackers and on github.
+* Check all open issues and pull requests in github and the
+  sourceforge trackers.
 
 * Check `TODO` file to make sure all planned items for the release are
   done or retargeted.