[PR #501] [MERGED] refactor: pull out more methods, remove unused Option #516

New Issue

2026-06-08T11:29:00+03:00

zhus commented

2026-06-08 11:29:00 +03:00

📋 Pull Request Information

Original PR: https://github.com/bootandy/dust/pull/501
Author: @bootandy
Created: 6/4/2025
Status: ✅ Merged
Merged: 6/6/2025
Merged by: @bootandy

Base: master ← Head: clean2

📝 Commits (1)

9ebb241 refactor: pull out more methods, remove unused Option

📊 Changes

4 files changed (+82 additions, -66 deletions)

View changed files

📝 src/display.rs (+1 -1)
📝 src/filter.rs (+30 -35)
📝 src/filter_type.rs (+3 -5)
📝 src/main.rs (+48 -25)

📄 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/bootandy/dust/pull/501 **Author:** [@bootandy](https://github.com/bootandy) **Created:** 6/4/2025 **Status:** ✅ Merged **Merged:** 6/6/2025 **Merged by:** [@bootandy](https://github.com/bootandy) **Base:** `master` ← **Head:** `clean2` --- ### 📝 Commits (1) - [`9ebb241`](https://github.com/bootandy/dust/commit/9ebb241188802511f509f5a1a804bcf933c5ecf9) refactor: pull out more methods, remove unused Option ### 📊 Changes **4 files changed** (+82 additions, -66 deletions) <details> <summary>View changed files</summary> 📝 `src/display.rs` (+1 -1) 📝 `src/filter.rs` (+30 -35) 📝 `src/filter_type.rs` (+3 -5) 📝 `src/main.rs` (+48 -25) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

zhus added the pull-request label 2026-06-08 11:29:00 +03:00

zhus closed this issue

2026-06-08 11:29:01 +03:00

zhus referenced this issue

2026-06-08 11:29:05 +03:00

[PR #516] WIP #523

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: bootandy/archived-dust#516