Skip to content
This repository was archived by the owner on Feb 1, 2026. It is now read-only.

cleanup#365

Merged
gander merged 1 commit into
mainfrom
gander-patch-1
Feb 1, 2026
Merged

cleanup#365
gander merged 1 commit into
mainfrom
gander-patch-1

Conversation

@gander

@gander gander commented Feb 1, 2026

Copy link
Copy Markdown
Member

No description provided.

@github-project-automation github-project-automation Bot moved this to Backlog in Diff Voyager Feb 1, 2026
@github-actions github-actions Bot added size/small Small effort: 1-2 hours of work configuration Project configuration files and settings labels Feb 1, 2026
@gander
gander added this pull request to the merge queue Feb 1, 2026
Merged via the queue into main with commit ca7eb2d Feb 1, 2026
17 checks passed
@gander
gander deleted the gander-patch-1 branch February 1, 2026 00:46
@github-project-automation github-project-automation Bot moved this from Backlog to Done in Diff Voyager Feb 1, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

configuration Project configuration files and settings size/small Small effort: 1-2 hours of work

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant