git remote add origin cmd not needed

[NewRunner2023]

I'm on the Push to Git part of https://quarkiverse.github.io/quarkiverse-docs/quarkus-github-action/dev/create-github-action.html

I don't think that the line
git remote add origin [e-mail]:my/action-github-repository.git

is needed.

When I do it I get:

[Guillaume Smet]

It is actually needed, except if you cloned the repository yourself. But in the guide, we don't do that, we just push to an empty repository.

Please reopen or comment if you don't agree.

[Guillaume Smet]

I created https://github.com/quarkiverse/quarkus-github-action/pull/104/files to improve things a bit.