v4.20.2

Changes since v4.20.1:

• Explain failing to activate the default branch when it has no code
• Improvements to the push command:
  • Omit the parent and type from the git push options if they are not specified.
    This avoids an error when pushing to a non-default branch for the second
    time, when the default branch has no code.
  • Fix setting the type via git push options.

v4.20.1...v4.20.2

SHA-256 checksum for platform.phar:
5f208a232102752e8ac93b371b32bca04ef3526daba3f1eee6e2a25c511755c2