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.
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.
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 masterdo changes , commit them
$ edit ~/.julia/v0.3/packagename/src/packagename.jl $ git commitrun
pkg.submit("packagename")julia> pkg.submit("packagename")
then web browser open new pull request ready sendt ;)
Comments
Post a Comment