github.com in package URLs.
#11312

Merged

WIP: Rewrite git://github.com to https://github.com in package URLs. #11312

tkelman merged 1 commit into JuliaLang:master from master

mlubin reviewed on 2015-05-17

tkelman added packages

LachlanGunn changed the title ~~RFC: Rewrite git://github.com to https://github.com in package URLs.~~ WIP: Rewrite git://github.com to https://github.com in package URLs. 11 years ago

LachlanGunn closed this 10 years ago

LachlanGunn reopened this 10 years ago

LachlanGunn closed this 10 years ago

LachlanGunn reopened this 10 years ago

LachlanGunn changed the title ~~WIP: Rewrite git://github.com to https://github.com in package URLs.~~ RFC: Rewrite git://github.com to https://github.com in package URLs. 10 years ago

LachlanGunn changed the title ~~RFC: Rewrite git://github.com to https://github.com in package URLs.~~ WIP: Rewrite git://github.com to https://github.com in package URLs. 10 years ago

wildart reviewed on 2015-10-17

wildart reviewed on 2015-10-19

LachlanGunn closed this 10 years ago

LachlanGunn reopened this 10 years ago

tkelman reviewed on 2015-10-27

tkelman reviewed on 2015-10-28

LachlanGunn closed this 10 years ago

Added URL rewriting to Pkg.

ce2500e0

LachlanGunn reopened this 10 years ago

tkelman merged 8798aab3 into master 10 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

packages

Milestone

No milestone

julia WIP: Rewrite git://github.com to https://github.com in package URLs. #11312 Merged

WIP: Rewrite git://github.com to https://github.com in package URLs. #11312

julia
WIP: Rewrite git://github.com to https://github.com in package URLs.
#11312

Merged