@GuillaumeTh tell me if you need help with this one. I can help.
I'm no git expert, but @EmmaRenauld it is weird to see PR from your master to the master. A better practice would be to create a branch with a specific name of the doc you are about to add. Push to that branch and when you are ready, do a PR from that branch to the master.... But maybe this first PR is fine this way.
@GuillaumeTh tell me if you need help with this one. I can help.
I'm no git expert, but @EmmaRenauld it is weird to see PR from your master to the master. A better practice would be to create a branch with a specific name of the doc you are about to add. Push to that branch and when you are ready, do a PR from that branch to the master.... But maybe this first PR is fine this way.
Let me know if I can help.