Skip to content

shorten the __name__ __main__ embed#3475

Merged
L3viathan merged 2 commits intomainfrom
nedbat/if-name-main
Mar 6, 2026
Merged

shorten the __name__ __main__ embed#3475
L3viathan merged 2 commits intomainfrom
nedbat/if-name-main

Conversation

@nedbat
Copy link
Contributor

@nedbat nedbat commented Mar 5, 2026

A shorter embed (the old one is a full screen). Links to python-discord/site#1596

@L3viathan
Copy link
Contributor

L3viathan commented Mar 6, 2026

👍

@L3viathan L3viathan merged commit 954b218 into main Mar 6, 2026
5 checks passed
@L3viathan L3viathan deleted the nedbat/if-name-main branch March 6, 2026 12:58
@shenanigansd shenanigansd mentioned this pull request Mar 6, 2026
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.

2 participants