Replies: 1 comment
-
|
Pull requests are enabled for this repository. The most common way to open a PR on GitHub is to fork the repository, push your changes to your fork, then open the PR to the original repository. See for instance this tutorial. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I would like to add a subset configuration [#58 ]. I made the changes, I would like to create PR. So I tried to push new branch, but the access was denied. How should I proceed?
Pavel
Beta Was this translation helpful? Give feedback.
All reactions