git - Pull request to julia package -


i'm learning github features , want propose pull request couple of bugs have found in 1 of julia packages. thing confuses me bit if on local julia/ don't see local branch submitted bug-fixes. if go ~/.julia/ there can see local branch.

in case, git remote add upstream <url> should use in order ask pull request ticket?

this really easy julia.

  1. ensure json installed, , git configured (you can enter shell mode julia typing ; @ beginning of 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" 

note email provide public.

  1. do checkout ensure on master (your pr might not apply cleanly if base on last released version)

    julia> pkg.checkout("packagename") # or shell> cd ~/.julia/v0.3/packagename shell> git checkout master 
  2. do changes , commit them

    $ edit ~/.julia/v0.3/packagename/src/packagename.jl $ git commit 
  3. run pkg.submit("packagename")

    julia> pkg.submit("packagename") 

then web browser open new pull request ready sendt ;)


Comments

Popular posts from this blog

javascript - RequestAnimationFrame not working when exiting fullscreen switching space on Safari -

jsf - How to ajax update an item in the footer of a PrimeFaces dataTable? -

django - CSRF verification failed. Request aborted. CSRF cookie not set -