From 76fd3f2612317d4f997753e969499e28fdd81e99 Mon Sep 17 00:00:00 2001 From: Sergio Rubio Date: Wed, 27 Jul 2016 19:06:14 +0200 Subject: [PATCH] New makefile target List pull requests that will go to stable --- Makefile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 136411a16..7ca5cd24c 100644 --- a/Makefile +++ b/Makefile @@ -18,4 +18,9 @@ deb: clean: rm -rf dist -.PHONY: test info dist clean +# List pull requests that need to be merged into stable +# (helpful for the release notes) +pending-prs: + @git log stable...master | grep "Merge pull request" + +.PHONY: test info dist clean pending-prs