Skip to content

Reorder episodes according to priority#325

Merged
bast merged 3 commits into
mainfrom
reorder-episodes
Mar 19, 2026
Merged

Reorder episodes according to priority#325
bast merged 3 commits into
mainfrom
reorder-episodes

Conversation

@mmesiti

@mmesiti mmesiti commented Mar 16, 2026

Copy link
Copy Markdown
Contributor

Closes #321, and perhaps #317 (at least for what concerns us in for Spring2026)

co-authored with @frankier

@mmesiti
mmesiti requested a review from bast March 16, 2026 13:24
mmesiti added 2 commits March 16, 2026 14:32
"we will talk about this in <episode>" -> "we talk about this in <episode>"
@bast

bast commented Mar 19, 2026

Copy link
Copy Markdown
Member

Sorry I was traveling. Looking now ...

@bast

bast commented Mar 19, 2026

Copy link
Copy Markdown
Member

Thanks a lot for this!

@bast
bast merged commit 6052075 into main Mar 19, 2026
5 checks passed
@bast
bast deleted the reorder-episodes branch March 19, 2026 07:27
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.

Reorder episodes to adhere to general aim

2 participants