Clever Geek Handbook

Pull request for julia package

I am researching some github features and I want to offer a pull request for a couple of bugs I found in one of the julia packages. Thing is, it confuses me a little that if I'm on my local Julia / I don't see my local branch where I posted the bug fixes. If I go to my ~ / .julia / there, I can see my local branch.

Anyway which one git remote add upstream <url>

should I use to ask for a departure request ticket?

+3


source to share


1 answer


It's really easy with Julia.

  • Make sure JSON is installed and git is configured correctly (you can enter shell mode from Julia by typing ;

    at the beginning of the line)

    julia> Pkg.add("JSON")
shell> git config --global user.name "FULL NAME"
shell> git config --global user.email "EMAIL"
shell> git config --global github.user "USERNAME"

Please note that the email you provide will be public.



  1. Check to make sure you are on the host computer (your PR may not be applied correctly if you are using it in the latest released version)

    julia> Pkg.checkout("PackageName")
# or
shell> cd ~/.julia/v0.3/PackageName
shell> git checkout master

  2. Make your changes and commit them

    $ edit ~/.julia/v0.3/PackageName/src/PackageName.jl
$ git commit

  3. Run Pkg.submit("PackageName") 

    julia> Pkg.submit("PackageName")

Then a web browser will open with a new pull request ready to be sent;)

+5


source






More articles:


All Articles