shorten the __name__ __main__ embed#3475

L3viathan merged 2 commits intomainpython-discord/bot:mainfrom

nedbat/if-name-mainpython-discord/bot:nedbat/if-name-mainCopy head branch name to clipboard