[PR #8] [MERGED] Package name (deb) has changed #93

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

📋 Pull Request Information

Original PR: https://github.com/VSCodium/vscodium.github.io/pull/8
Author: @carstev
Created: 6/8/2019
Status: Merged
Merged: 6/9/2019
Merged by: @PalinuroSec

Base: masterHead: patch-1


📝 Commits (1)

  • 8b4c382 Package name (deb) has changed

📊 Changes

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

View changed files

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

📄 Description

https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/issues/12


🔄 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/8 **Author:** [@carstev](https://github.com/carstev) **Created:** 6/8/2019 **Status:** ✅ Merged **Merged:** 6/9/2019 **Merged by:** [@PalinuroSec](https://github.com/PalinuroSec) **Base:** `master` ← **Head:** `patch-1` --- ### 📝 Commits (1) - [`8b4c382`](https://github.com/VSCodium/vscodium.github.io/commit/8b4c382d6e92f7a5ec33c093dfe7918f04e25ac9) Package name (deb) has changed ### 📊 Changes **1 file changed** (+1 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `_posts/2000-01-05-install.md` (+1 -1) </details> ### 📄 Description https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/issues/12 --- <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:21 -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#93