Just like we do on regular git push
Fixes #2750
:thumbsup:
Thanks :)
rebased onto e59791cd0ebfb97a7acaf0ce577616529fd5523c
Pull-Request has been merged by pingou
Just like we do on regular git push
Fixes #2750