There is not. So I guess just normal github pr.