The Gemfile.lock file had been pushed when first introducing the GitHub pages documentation in 00747a88. It is not necessary for building the website, as GitHub Pages uses their own configuration. Since it regularly triggers Dependabot alerts such as this one, it is preferable to completely remove the file. This is simply what this PR does.
The
Gemfile.lockfile had been pushed when first introducing the GitHub pages documentation in 00747a88. It is not necessary for building the website, as GitHub Pages uses their own configuration. Since it regularly triggers Dependabot alerts such as this one, it is preferable to completely remove the file. This is simply what this PR does.