I think keep it as the main repo but your PR's commit is fine