[PR #8] [MERGED] make replacement case insensitive #10

New issue

Closed

opened 2026-02-27 16:40:57 +03:00 by kerem · 0 comments

kerem commented

2026-02-27 16:40:57 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/rickycodes/pve-no-subscription/pull/8
Author: @rickycodes
Created: 10/8/2022
Status: ✅ Merged
Merged: 10/8/2022
Merged by: @rickycodes

Base: main ← Head: issue-7

📝 Commits (1)

2322fb4 make replacement case insensitive

📊 Changes

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

View changed files

📝 no-subscription-warning.sh (+1 -1)

📄 Description

closes: #7

_{🔄 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/rickycodes/pve-no-subscription/pull/8 **Author:** [@rickycodes](https://github.com/rickycodes) **Created:** 10/8/2022 **Status:** ✅ Merged **Merged:** 10/8/2022 **Merged by:** [@rickycodes](https://github.com/rickycodes) **Base:** `main` ← **Head:** `issue-7` --- ### 📝 Commits (1) - [`2322fb4`](https://github.com/rickycodes/pve-no-subscription/commit/2322fb444b074d07f7fbe3d59fa5bd264e28e324) make replacement case insensitive ### 📊 Changes **1 file changed** (+1 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `no-subscription-warning.sh` (+1 -1) </details> ### 📄 Description closes: #7 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

kerem

2026-02-27 16:40:57 +03:00

closed this issue
added the
pull-request
label

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

starred/pve-no-subscription#10

No description provided.

Rows
Columns