Prefer https in GitHub pages urls (#454)

Author: tesuji

src/appendix/bibliography.md

@@ -31,7 +31,7 @@ Rust, as well as publications about Rust.
 * [Balanced work stealing for time-sharing multicores](http://www.cse.ohio-state.edu/hpcs/WWW/HTML/publications/papers/TR-12-1.pdf)
 * [Three layer cake for shared-memory programming](http://dl.acm.org/citation.cfm?id=1953616&dl=ACM&coll=DL&CFID=524387192&CFTOKEN=44362705)
 * [Non-blocking steal-half work queues](http://www.cs.bgu.ac.il/%7Ehendlerd/papers/p280-hendler.pdf)
-* [Reagents: expressing and composing fine-grained concurrency](http://aturon.github.io/academic/reagents.pdf)
+* [Reagents: expressing and composing fine-grained concurrency](https://aturon.github.io/academic/reagents.pdf)
 * [Algorithms for scalable synchronization of shared-memory multiprocessors](https://www.cs.rochester.edu/u/scott/papers/1991_TOCS_synch.pdf)
 * [Epoch-based reclamation](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-579.pdf).
 
@@ -59,7 +59,7 @@ Rust, as well as publications about Rust.
   Rust](https://michaelsproul.github.io/rust_radix_paper/rust-radix-sproul.pdf). Undergrad
   paper by Michael Sproul.
 * [Reenix: Implementing a Unix-Like Operating System in
-  Rust](http://scialex.github.io/reenix.pdf). Undergrad paper by Alex
+  Rust](https://scialex.github.io/reenix.pdf). Undergrad paper by Alex
   Light.
 * [Evaluation of performance and productivity metrics of potential programming languages in the HPC environment](https://github.com/1wilkens/thesis-ba).
   Bachelor's thesis by Florian Wilkens. Compares C, Go and Rust.

src/borrow_check.md

@@ -27,7 +27,7 @@ Doing borrow checking on MIR has several advantages:
   which are regions derived from the control-flow graph.
 
 [47366]: https://github.com/rust-lang/rust/issues/47366
-[nll]: http://rust-lang.github.io/rfcs/2094-nll.html
+[nll]: https://rust-lang.github.io/rfcs/2094-nll.html
 
 ### Major phases of the borrow checker
 

src/borrow_check/region_inference.md

@@ -42,7 +42,7 @@ The MIR-based region analysis consists of two major functions:
 [`compute_regions`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/nll/fn.compute_regions.html
 [`RegionInferenceContext`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/nll/region_infer/struct.RegionInferenceContext.html
 [`solve`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/nll/region_infer/struct.RegionInferenceContext.html#method.solve
-[NLL RFC]: http://rust-lang.github.io/rfcs/2094-nll.html
+[NLL RFC]: https://rust-lang.github.io/rfcs/2094-nll.html
 [MIR type checker]: ./type_check.md
 
 ## Universal regions

src/mir/index.md

@@ -18,7 +18,7 @@ graphs and desugaring), you may enjoy the
 MIR is defined in the [`src/librustc/mir/`][mir] module, but much of the code
 that manipulates it is found in [`src/librustc_mir`][mirmanip].
 
-[RFC 1211]: http://rust-lang.github.io/rfcs/1211-mir.html
+[RFC 1211]: https://rust-lang.github.io/rfcs/1211-mir.html
 
 Some of the key characteristics of MIR are:
 

src/traits/chalk-overview.md

@@ -211,7 +211,7 @@ Likewise, lowering tests use the [`lowering_success!` and
 * [Lowering Rust traits to logic](http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowering-rust-traits-to-logic/)
 * [Unification in Chalk, part 1](http://smallcultfollowing.com/babysteps/blog/2017/03/25/unification-in-chalk-part-1/)
 * [Unification in Chalk, part 2](http://smallcultfollowing.com/babysteps/blog/2017/04/23/unification-in-chalk-part-2/)
-* [Negative reasoning in Chalk](http://aturon.github.io/blog/2017/04/24/negative-chalk/)
+* [Negative reasoning in Chalk](https://aturon.github.io/blog/2017/04/24/negative-chalk/)
 * [Query structure in chalk](http://smallcultfollowing.com/babysteps/blog/2017/05/25/query-structure-in-chalk/)
 * [Cyclic queries in chalk](http://smallcultfollowing.com/babysteps/blog/2017/09/12/tabling-handling-cyclic-queries-in-chalk/)
 * [An on-demand SLG solver for chalk](http://smallcultfollowing.com/babysteps/blog/2018/01/31/an-on-demand-slg-solver-for-chalk/)
@@ -230,27 +230,27 @@ Likewise, lowering tests use the [`lowering_success!` and
 [universal quantification]: https://en.wikipedia.org/wiki/Universal_quantification
 
 [`ProgramClause`]: https://rust-lang.github.io/chalk/doc/chalk_ir/enum.ProgramClause.html
-[`ProgramEnvironment`]: http://rust-lang.github.io/chalk/doc/chalk/program_environment/struct.ProgramEnvironment.html
+[`ProgramEnvironment`]: https://rust-lang.github.io/chalk/doc/chalk/program_environment/struct.ProgramEnvironment.html
 [chalk_engine]: https://rust-lang.github.io/chalk/doc/chalk_engine/index.html
 [chalk_ir]: https://rust-lang.github.io/chalk/doc/chalk_ir/index.html
 [chalk_parse]: https://rust-lang.github.io/chalk/doc/chalk_parse/index.html
 [chalk_solve]: https://rust-lang.github.io/chalk/doc/chalk_solve/index.html
 [chalk_rust_ir]: https://rust-lang.github.io/chalk/doc/chalk_rust_ir/index.html
 [doc-chalk]: https://rust-lang.github.io/chalk/doc/chalk/index.html
 [engine-context]: https://rust-lang.github.io/chalk/doc/chalk_engine/context/index.html
-[chalk-program]: http://rust-lang.github.io/chalk/doc/chalk/program/struct.Program.html
+[chalk-program]: https://rust-lang.github.io/chalk/doc/chalk/program/struct.Program.html
 
-[binders-struct]: http://rust-lang.github.io/chalk/doc/chalk_ir/struct.Binders.html
-[chalk-ast]: http://rust-lang.github.io/chalk/doc/chalk_parse/ast/index.html
+[binders-struct]: https://rust-lang.github.io/chalk/doc/chalk_ir/struct.Binders.html
+[chalk-ast]: https://rust-lang.github.io/chalk/doc/chalk_parse/ast/index.html
 [chalk-test-example]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/test.rs#L115
 [chalk-test-lowering-example]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/rust_ir/lowering/test.rs#L8-L31
 [chalk-test-lowering]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/rust_ir/lowering/test.rs
 [chalk-test-wf]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/rules/wf/test.rs#L1
 [chalki]: https://rust-lang.github.io/chalk/doc/chalki/index.html
 [clause]: https://github.com/rust-lang/chalk/blob/master/GLOSSARY.md#clause
-[coherence-src]: http://rust-lang.github.io/chalk/doc/chalk_solve/coherence/index.html
-[ir-code]: http://rust-lang.github.io/chalk/doc/chalk_rust_ir/
-[solve-wf-src]: http://rust-lang.github.io/chalk/doc/chalk_solve/wf/index.html
+[coherence-src]: https://rust-lang.github.io/chalk/doc/chalk_solve/coherence/index.html
+[ir-code]: https://rust-lang.github.io/chalk/doc/chalk_rust_ir/
+[solve-wf-src]: https://rust-lang.github.io/chalk/doc/chalk_solve/wf/index.html
 [solve_goal]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/test.rs#L85
 [test-lowering-macros]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/test_util.rs#L21-L54
 [test-macro]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/test.rs#L33

src/traits/slg.md

@@ -299,4 +299,4 @@ more answers later on.
 
 [readme]: https://github.com/rust-lang/chalk/blob/239e4ae4e69b2785b5f99e0f2b41fc16b0b4e65e/chalk-engine/src/README.md
 [slg-blog]: http://smallcultfollowing.com/babysteps/blog/2018/01/31/an-on-demand-slg-solver-for-chalk/
-[negative-reasoning-blog]: http://aturon.github.io/blog/2017/04/24/negative-chalk/
+[negative-reasoning-blog]: https://aturon.github.io/blog/2017/04/24/negative-chalk/