Yeah I think adding extra hurdles for keeping the repos in sync doesn't seem worth it at the moment. I'm not sure what the answer should be here, but it also doesn't have much to do with this specific change, so I'm gonna punt for now.