Boris
Boris
Sure, that would be a great idea, but as you may have guessed, it's not possible right now What's your question ? Are you asking for the feature, or are...
Well, I don't plan to do it myself right now, but pull requests are welcome !
Hi ! You can replace the text of an animation that has already started. For example, you can add a dot every second like this : ``` let str =...
Hi, There is not need to do a PR that changes the whole thing, just use `.replace()` as I told you before ! For example, here is what I can...
Yeah sorry I'm usually away from my computer on weekends. Is the last example working for you?
Hi, I closed and re-opened your PR just to trigger the CI. As you can see, both the lint and the tests failed. You need to run `npm run fix`...
You can already replace a name or an email with another one in ALL commits, using the "Bulk Edit" mode. Is it what you have in mind ?
Oh, I get it now, you'd like to edit multiple commits at once using check-boxes I'll think about that
Hi, I think the private contributions are already counted, because you're providing a GitHub token that can already access them.  The problem with the Gist ID being in a...
Why would anyone need something like that?