mirror of
https://github.com/VSCodium/vscodium.github.io.git
synced 2026-04-12 06:21:22 -05:00
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/VSCodium/vscodium.github.io/pull/70
Author: @jtagcat
Created: 12/25/2022
Status: ✅ Merged
Merged: 7/12/2023
Merged by: @paulcarroty
Base:
master← Head:revert📝 Commits (1)
1f6a92eRevert "install: add a note of a mirror (#53)"📊 Changes
1 file changed (+0 additions, -3 deletions)
View changed files
📝
_posts/2000-01-05-install.md(+0 -3)📄 Description
This reverts commit
5d1fa4702d.GitLab made changes, breaking the current mirroring setup. I no longer actively use my own mirror, and as such lack interest in reviving it.
https://web.archive.org/web/20221226011455/https://vscodium.c7.ee/
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.