Merge a few files into other repos