Skip to content

chore(issues): remove duplicate open copy of 08 - #29

Merged
yktsnet merged 1 commit into
mainfrom
chore/rm-dup-issue-08
Oct 26, 2026
Merged

yktsnet merged 1 commit into
mainfrom
chore/rm-dup-issue-08

Conversation

@yktsnet

@yktsnet yktsnet commented Oct 26, 2026

Copy link
Copy Markdown
Owner

PR #26 で消化済みの Issue 08 が、マージ後のコミット 56f5ed4 で issues/ に status: open のまま入っていた。issues/done/08_sessions-fail-loud.md に PR 記録があるため、重複した open 側を削除する。

PR #26 で消化済みの 08 が、マージ後のコミットで issues/ に open のまま
再び入っていた。issues/done/ に記録があるので、重複を削除する。
@yktsnet
yktsnet enabled auto-merge (squash) October 26, 2026 09:52
@yktsnet
yktsnet merged commit 9262e07 into main Oct 26, 2026
3 checks passed
@yktsnet
yktsnet deleted the chore/rm-dup-issue-08 branch October 26, 2026 09:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant