From 1f554d05fc58c1ff1be9404cf6b780a5f68894bd Mon Sep 17 00:00:00 2001
From: Yaoyao Liu <yaoyao.liu@mpi-inf.mpg.de>
Date: Wed, 4 Sep 2024 00:00:00 -0500
Subject: [PATCH] Update Gemfile

---
 Gemfile | 17 +----------------
 1 file changed, 1 insertion(+), 16 deletions(-)

diff --git a/Gemfile b/Gemfile
index 7d80add24..7fbc9d93c 100644
--- a/Gemfile
+++ b/Gemfile
@@ -1,20 +1,5 @@
 source "https://rubygems.org"
 
-# Hello! This is where you manage which Jekyll version is used to run.
-# When you want to use a different version, change it below, save the
-# file and run `bundle install`. Run Jekyll with `bundle exec`, like so:
-#
-#     bundle exec jekyll serve
-#
-# This will help ensure the proper Jekyll version is running.
-# Happy Jekylling!
-# gem "jekyll", "~> 3.8.5"
-
-# This is the default theme for new Jekyll sites. You may change this to anything you like.
-gem "minima", "~> 2.0"
-
-# If you want to use GitHub Pages, remove the "gem "jekyll"" above and
-# uncomment the line below. To upgrade, run `bundle update github-pages`.
-gem "github-pages", group: :jekyll_plugins
+gem "jekyll", "~> 3.8.5"
 
 gem "webrick", "~> 1.8"