[PR #39] [MERGED] Delete upphub.root #120

Closed
opened 2026-05-05 03:40:52 -06:00 by gitea-mirror · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/ultimatepp/ultimatepp/pull/39
Author: @klugier
Created: 8/1/2021
Status: Merged
Merged: 8/1/2021
Merged by: @mirek-fidler

Base: masterHead: klugier/delete-upphub-root


📝 Commits (1)

📊 Changes

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

View changed files

upphub.root (+0 -5)

📄 Description

Since we have separate repo for UppHub we do not need upphub.root anymore in this repository.


🔄 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/ultimatepp/ultimatepp/pull/39 **Author:** [@klugier](https://github.com/klugier) **Created:** 8/1/2021 **Status:** ✅ Merged **Merged:** 8/1/2021 **Merged by:** [@mirek-fidler](https://github.com/mirek-fidler) **Base:** `master` ← **Head:** `klugier/delete-upphub-root` --- ### 📝 Commits (1) - [`7d1de53`](https://github.com/ultimatepp/ultimatepp/commit/7d1de53cd8a83eda3b8c534847aa3f02418df803) Delete upphub.root ### 📊 Changes **1 file changed** (+0 additions, -5 deletions) <details> <summary>View changed files</summary> ➖ `upphub.root` (+0 -5) </details> ### 📄 Description Since we have separate repo for UppHub we do not need upphub.root anymore in this repository. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
gitea-mirror 2026-05-05 03:40:52 -06:00
Sign in to join this conversation.
No labels
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: github-starred/ultimatepp#120
No description provided.