repo-make-public: fail if no repo description is provided.
repo-make-public: use --mirror=push when adding the remote.