Now platforms will be pushed to the repo, but not its contents.