[SOLVED] cloning_to_make_pull_request

[ewpostek]

Hello,
I would like to create a pull request.
I created the fork.
Then, I passed to the clone_and_download.
According to the guide, it should appear
to options “clone in desktop” and “download ZIP”.
It appears the second one only.

Therefore, can you say what to do ?

regards,
Elek

[max]

Hello Elek,

Your issues are Github-related and not specific to SOFA, so your questions are off-topic here.

I don’t know about the Github Desktop, but you can definitely ‘git clone’ using the address just above the two buttons on the webpage.

The documentation for GitHub Desktop can be found here: https://help.github.com/desktop/guides/getting-started/

You should first make sure that everything is configured properly.

A complete guide to pull requests is also available: https://help.github.com/categories/collaborating-with-issues-and-pull-requests/

Basically, this goes: fork, clone, branch, hack-commit-hack-commit…, push, then use the web interface to file a pull request on your clone branch once ready.

Hope this helps,

Maxime.

[Hugo]

Just to close this topic, all contribution information can be found in the source of SOFA: CONTRIBUTING.md

Hugo

[Author]

Posts