Skip to content

merge proposed themes => primary themes#643

Open
github-actions[bot] wants to merge 1 commit intodev-themesfrom
totolo-merge-proposed
Open

merge proposed themes => primary themes#643
github-actions[bot] wants to merge 1 commit intodev-themesfrom
totolo-merge-proposed

Conversation

@github-actions
Copy link
Contributor

Merge proposed themes => primary themes, with python-totolo command:

python -m totolo.util.mergefiles ./notes/themes/proposed.th.txt ./notes/themes/primary.th.txt --reorder
: > ./notes/themes/proposed.th.txt

@github-actions github-actions bot force-pushed the totolo-merge-proposed branch 2 times, most recently from e1150f3 to 6c411a3 Compare January 25, 2026 12:09
@github-actions github-actions bot force-pushed the totolo-merge-proposed branch 2 times, most recently from f29e7bd to 32be038 Compare February 4, 2026 20:19
@github-actions github-actions bot force-pushed the totolo-merge-proposed branch from 32be038 to 2bda928 Compare February 8, 2026 12:30
@github-actions github-actions bot force-pushed the totolo-merge-proposed branch from 2bda928 to fb04cbb Compare February 8, 2026 16:11
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