Ensure a Git remote named 'platform'.

This could allow users to have an 'origin' remote set to another URL.

[WIP]