Ryan Kavanagh

There's something slightly buggy in the resulting script. The `--provider X` option is not required, and the script interactively prompts users for a provider during authorization if they did not...

Tested token creation locally with a Microsoft account and it looks good to me. Perhaps mention in the release notes that users will need to delete their old token file...

Hi @vedang , > I will do this by the next weekend and hope to unblock this issue then. Has there been any progress on this since February? It would...

Hi! Sorry for the delay. I did a bit of work on merging your changes and Florian Schüller's this morning, but it seems that I broke network games. I'll try...

Thanks Florian! I'll try to take a closer look at some point over the next week or two. If I forget, please don't hesitate to give me a nudge.

Hi @sauron, I'm not particularly sure why universality comes in, since nobody should be editing the Markdown or HTML in the post files planet spits out (these changes only affect...

Hi, it looks like Github disabled generation again. AFAICT, there hasn't been a new 25wpm podcast generated since August 19. Best, Ryan

Possibly. However, my understanding is that the `--infix` pragma is local to a module. Or at least, every time I've opened a module that contains `--infix` pragmas, I've had to...