That does the job. Thanks.
On Thursday, August 21, 2014 4:49:24 PM UTC-4, Alex wrote:
>
> Can't you do
>
> Pkg.clone("https://github.com/shoibalc/IniFile.jl
> <https://github.com/tkelman/Sundials.jl>")
>
> Pkg.checkout("IniFile", "inlinecomments")
> (you should probably remove the package first)? Once the PR is merged you
> can switch back to the original repo.
>
> Best,
> Alex.
>
> On Thursday, 21 August 2014 20:30:55 UTC+2, Xiao FENG wrote:
>>
>> Hi there.
>>
>> There are two issues with this package
>> 1. The information in the official Julia package system is out of date --
>> Pkg.add doesn't install the latest version in the repo;
>> 2. There is a pull request open -- and in that fork, the branch name is
>> not master, so I can't even simply do a Pkg.clone(...) to get that modified
>> version work. I had to clone, then manually checkout (using git from
>> command line).
>>
>> Given that I'm not the owner of the project, is there anything I can do
>> with it?
>>
>> Or can someone who has the privillege do the update? Thanks.
>>
>
