Skip to content

Comments

#009 Ops Log Panel#10

Merged
chatter merged 9 commits intomainfrom
009-ops-log-panel
Feb 6, 2026
Merged

#009 Ops Log Panel#10
chatter merged 9 commits intomainfrom
009-ops-log-panel

Conversation

@chatter
Copy link
Owner

@chatter chatter commented Feb 6, 2026

This adds in an Ops Log Panel per #9. Provides a global list of operations (at all times presently). In the diff view it loads up the changes based on that op.

@chatter chatter merged commit 7ce5e3a into main Feb 6, 2026
1 check failed
@chatter chatter deleted the 009-ops-log-panel branch February 6, 2026 05:43
@chatter chatter mentioned this pull request Feb 6, 2026
9 tasks
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