Access to GitHub repo for pull requests #487
-
On the last workshop you said about a possibility to open a pull request if there seems something wrong in SDK. As of today there are no access to do it. |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment
-
In order to create a pull request, you need to first fork the repository, make the changes, and then create a pull request from your repository to this one. See the GitHub documentation at: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/creating-a-pull-request-from-a-fork Here's an example of such a pull request that was made a while back: (I see this has been closed, I putting my answer above anyways in case it helps) |
Beta Was this translation helpful? Give feedback.
In order to create a pull request, you need to first fork the repository, make the changes, and then create a pull request from your repository to this one. See the GitHub documentation at: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/creating-a-pull-request-from-a-fork
Here's an example of such a pull request that was made a while back:
#213
(I see this has been closed, I putting my answer above anyways in case it helps)