[PR #105] [CLOSED] Make Pint happy #592

Closed
opened 2026-02-05 17:48:28 +03:00 by OVERLORD · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/pelican-dev/panel/pull/105
Author: @Boy132
Created: 4/19/2024
Status: Closed

Base: feature/filamentHead: fix/lint


📝 Commits (1)

📊 Changes

2 files changed (+4 additions, -6 deletions)

View changed files

📝 app/Filament/Resources/ServerResource.php (+0 -1)
📝 app/Filament/Resources/ServerResource/Pages/CreateServer.php (+4 -5)

📄 Description

No description provided


🔄 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/pelican-dev/panel/pull/105 **Author:** [@Boy132](https://github.com/Boy132) **Created:** 4/19/2024 **Status:** ❌ Closed **Base:** `feature/filament` ← **Head:** `fix/lint` --- ### 📝 Commits (1) - [`4cb2529`](https://github.com/pelican-dev/panel/commit/4cb2529766cdc3995ca1ae2e164b0f5c62f54abf) fix linting ### 📊 Changes **2 files changed** (+4 additions, -6 deletions) <details> <summary>View changed files</summary> 📝 `app/Filament/Resources/ServerResource.php` (+0 -1) 📝 `app/Filament/Resources/ServerResource/Pages/CreateServer.php` (+4 -5) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
OVERLORD added the pull-request label 2026-02-05 17:48:28 +03:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/panel-pelican-dev#592