Mmm... but #286 was already merged. Then, github seems to be clever that I though :)