From f9ad0292157b2b7f494a05a41541723b1999ca39 Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Fri, 30 Mar 2018 10:21:06 +0200 Subject: [PATCH] WIP: open empty pull request Github does not allow strictly empty pull requests, so let's bend the rules.