Skip to content

merge proposed themes => primary themes#667

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

merge proposed themes => primary themes#667
github-actions[bot] wants to merge 1 commit into
dev-themesfrom
totolo-merge-proposed

Conversation

@github-actions

@github-actions github-actions Bot commented Apr 5, 2026

Copy link
Copy Markdown
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 c4d26b0 to 96a4cf9 Compare April 10, 2026 09:28
@github-actions github-actions Bot force-pushed the totolo-merge-proposed branch from 96a4cf9 to 6c768b9 Compare May 3, 2026 11:12
@github-actions github-actions Bot force-pushed the totolo-merge-proposed branch 4 times, most recently from a250c40 to 7f2ebf2 Compare May 24, 2026 11:27
@github-actions github-actions Bot force-pushed the totolo-merge-proposed branch 2 times, most recently from 6a138b4 to b0cf788 Compare May 31, 2026 12:20
@github-actions github-actions Bot force-pushed the totolo-merge-proposed branch from b0cf788 to 1a0aa58 Compare June 7, 2026 12:41
@github-actions github-actions Bot force-pushed the totolo-merge-proposed branch from 1a0aa58 to f94ba47 Compare June 14, 2026 12:01
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