fix(elan-utils): fetch_latest_release_tag: must use redirect for nigh…

…tlies
leanprover · Apr 15, 2018 · 0949fe4 · 0949fe4
1 parent 4adfc9a
commit 0949fe4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/elan-utils/src/utils.rs b/src/elan-utils/src/utils.rs
@@ -625,6 +625,7 @@ pub fn fetch_latest_release_tag(repo_slug: &str) -> Result<String> {
     ::download::curl::EASY.with(|handle| {
         let mut handle = handle.borrow_mut();
         handle.url(&latest_url).unwrap();
+        handle.follow_location(true).unwrap();
         {
             let mut transfer = handle.transfer();
             transfer.write_function(|new_data| {