[PR #29] [MERGED] repository migration #75

Closed
opened 2025-09-10 22:50:13 -05:00 by giteasync · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/VSCodium/vscodium.github.io/pull/29
Author: @paulcarroty
Created: 8/18/2020
Status: Merged
Merged: 8/22/2020
Merged by: @PalinuroSec

Base: masterHead: patch-1


📝 Commits (1)

📊 Changes

1 file changed (+3 additions, -3 deletions)

View changed files

📝 _posts/2000-01-05-install.md (+3 -3)

📄 Description

https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/-/issues/36#note_395793123


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/VSCodium/vscodium.github.io/pull/29 **Author:** [@paulcarroty](https://github.com/paulcarroty) **Created:** 8/18/2020 **Status:** ✅ Merged **Merged:** 8/22/2020 **Merged by:** [@PalinuroSec](https://github.com/PalinuroSec) **Base:** `master` ← **Head:** `patch-1` --- ### 📝 Commits (1) - [`a0ea5cf`](https://github.com/VSCodium/vscodium.github.io/commit/a0ea5cf9dc708efe6b67cf06275500279dfde0be) repository migration ### 📊 Changes **1 file changed** (+3 additions, -3 deletions) <details> <summary>View changed files</summary> 📝 `_posts/2000-01-05-install.md` (+3 -3) </details> ### 📄 Description https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/-/issues/36#note_395793123 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
giteasync added the pull-request label 2025-09-10 22:50:13 -05:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: VSCodium/vscodium.github.io#75