From 063bbab6f5e7dc5622e075d60dcaca158fbe8c20 Mon Sep 17 00:00:00 2001
From: Austin Shalit <austinshalit@gmail.com>
Date: Sat, 27 Apr 2019 23:16:04 -0400
Subject: [PATCH] MavenArtifacts.md: update links to HTTPS (#1674)

---
 MavenArtifacts.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/MavenArtifacts.md b/MavenArtifacts.md
index 825a23a00a..3d325862ac 100644
--- a/MavenArtifacts.md
+++ b/MavenArtifacts.md
@@ -5,8 +5,8 @@ WPILib publishes its built artifacts to our Maven server for use by downstream p
 ## Repositories
 We provide two repositories. These repositories are:
 
-* (Release)     http://first.wpi.edu/FRC/roborio/maven/release/
-* (Development) http://first.wpi.edu/FRC/roborio/maven/development/
+* (Release)     https://first.wpi.edu/FRC/roborio/maven/release/
+* (Development) https://first.wpi.edu/FRC/roborio/maven/development/
 
 The release repository is where official WPILib releases are pushed.
 The development repository is where development releases of every commit to [master](https://github.com/wpilibsuite/allwpilib/tree/master) is pushed.