That's what I would do, though I hate git with a fair level of passion :-)

Tom

On 21/12/15 13:40, OK wrote:
Is it the right way to fork the github develop branch, create a new brunch,
make the changes and create a pull request for the 4.15.0 branch?

Reply via email to