Maybe look at adding a merge request on github?