Thanks for your follow ups! I wrote Github a mail and got a very fast response. They are happy about the feature requests (I had another one) and the responsible teams will take a look into it. Of course they can't promise anything but that's enough for me :)