github-starred/feeddeck
2
0
Fork 0
mirror of https://github.com/feeddeck/feeddeck.git synced 2026-03-09 07:02:01 -05:00
Code Issues 5 Packages Projects Releases 8 Wiki Activity

[PR #281] [MERGED] Add Linting in CI and Fix Linting Errors #270

New Issue
Closed
opened 2025-10-31 17:00:53 -05:00 by GiteaMirror · 0 comments
GiteaMirror commented 2025-10-31 17:00:53 -05:00
Owner
Copy Link

📋 Pull Request Information

Original PR: https://github.com/feeddeck/feeddeck/pull/281
Author: @ricoberger
Created: 7/27/2025
Status: ✅ Merged
Merged: 7/27/2025
Merged by: @ricoberger

Base: main ← Head: add-lintining-in-ci

📝 Commits (1)

  • e16e853 Add Linting in CI and Fix Linting Errors

📊 Changes

9 files changed (+94 additions, -168 deletions)

View changed files

📝 .github/workflows/continuous-integration.yaml (+4 -0)
📝 app/lib/repositories/items_repository.dart (+11 -19)
📝 app/lib/widgets/column/header/column_layout_header_settings_delete_column.dart (+10 -9)
📝 app/lib/widgets/deck/deck_layout_large.dart (+14 -36)
📝 app/lib/widgets/item/details/utils/item_description.dart (+11 -27)
📝 app/lib/widgets/item/preview/utils/item_description.dart (+10 -21)
📝 app/lib/widgets/settings/decks/settings_decks_edit_existing.dart (+9 -19)
📝 app/lib/widgets/settings/profile/settings_profile_delete_account.dart (+9 -19)
📝 app/lib/widgets/source/source_list_item.dart (+16 -18)

📄 Description

🔄 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/feeddeck/feeddeck/pull/281 **Author:** [@ricoberger](https://github.com/ricoberger) **Created:** 7/27/2025 **Status:** ✅ Merged **Merged:** 7/27/2025 **Merged by:** [@ricoberger](https://github.com/ricoberger) **Base:** `main` ← **Head:** `add-lintining-in-ci` --- ### 📝 Commits (1) - [`e16e853`](https://github.com/feeddeck/feeddeck/commit/e16e8539f57a8900bdd7c3909e86e3b3f9bb122b) Add Linting in CI and Fix Linting Errors ### 📊 Changes **9 files changed** (+94 additions, -168 deletions) <details> <summary>View changed files</summary> 📝 `.github/workflows/continuous-integration.yaml` (+4 -0) 📝 `app/lib/repositories/items_repository.dart` (+11 -19) 📝 `app/lib/widgets/column/header/column_layout_header_settings_delete_column.dart` (+10 -9) 📝 `app/lib/widgets/deck/deck_layout_large.dart` (+14 -36) 📝 `app/lib/widgets/item/details/utils/item_description.dart` (+11 -27) 📝 `app/lib/widgets/item/preview/utils/item_description.dart` (+10 -21) 📝 `app/lib/widgets/settings/decks/settings_decks_edit_existing.dart` (+9 -19) 📝 `app/lib/widgets/settings/profile/settings_profile_delete_account.dart` (+9 -19) 📝 `app/lib/widgets/source/source_list_item.dart` (+16 -18) </details> ### 📄 Description <!-- Keep PR title verbose enough and add prefix telling about what source it touches e.g "[rss] Add feature xyz" or if the the PR is not realated to a source use "[core]", e.g. "[core] Fix xyz". If you add a breaking change within your PR you should add ":warning:" to the title, e.g. ":warning: [core] My breaking change" --> <!-- Description of what have been changed. Please also reference an issue, when available. --> --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
GiteaMirror added the pull-request label 2025-10-31 17:00:53 -05:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
bug
enhancement
pull-request
Mirrored from GitHub Pull Request
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
GiteaMirror ninjasurge
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/feeddeck#270
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?