Rename `installation.rs` -> `github.rs` now that is all it concerns

ee3ac9c344Julia committed on 3/28/2023, 3:51:09 PMparent350f8ed
8 files changedLine totals unavailable