From c09d8f62e81883911f33ac1fa44f943d7ec66076 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carsten=20Gr=C3=A4ser?= <graeser@dune-project.org>
Date: Wed, 19 Aug 2015 13:18:05 +0200
Subject: [PATCH] Add file with prevented cherry-picks

This lists all commits marked tagged as bugfix or release
that where explicitly not cherry-picked. Possible reasons for this:

* commits from a branch that was also merged to the release
* commits from a branch where the merge was cherry-picked
* bugfixes for code new to master
* commits that where picked but are not recognized as such
---
 prevent-cherry-picks | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 prevent-cherry-picks

diff --git a/prevent-cherry-picks b/prevent-cherry-picks
new file mode 100644
index 000000000..2f3ecc008
--- /dev/null
+++ b/prevent-cherry-picks
@@ -0,0 +1,12 @@
+442aff7a7c4ad72c6b0eff755aee818f6d495611
+d7376ad0d8d2660bda50b1bf97e6ab8cdb6a2bf5
+49d86690349f11b4fd864e87eb0cd55d164606a4
+f7438b678839edd46a8faaba7e668d0d92260f7e
+e83aaa8f02feb7a22d8329d91fe20244f285a7a6
+2969da6ce4dff66cb5b92e49714fc8783fa936c8
+c859558dfbb8a9ee33326bc87ee1ae3c3c652ed9
+6824aeb3021b71bffba6eea2258d5d37487e4bed
+fef5f72e7750d2813fd34c478dc71d655d23ab70
+156bf5db9ec13df6415d9421e944d1e9ab255924
+7d2a12f859070e082dd71587d29abb7cb45fc190
+541b3dfceb6f53f34d8f6ded5a27289b13e9afbb
-- 
GitLab