Pull-Request has been rebased
but this only works if the repo is a fork
Ok I've checked further the code and this will do what we want.
Thanks for fixing this!
Pull-Request has been merged by pingou