Michael

Results 297 comments of Michael

Thanks to @FichteFoll for the vote of confidence, and to @rwols for the nudge to get this rolling. Here's the tentative plan: - [x] Tag a `3.1.0` release on `master`....

I believe Package Control is running into some GitHub rate-limiting trouble. Try again in a little bit?

Could you (hard|soft|sym)link to the file that lives in the submodule such that GitHub adds it to the zip? And make a script to convert the file (if Git thinks...

https://github.com/smokku/soldank/commit/18e985f1b2fd8d950ee2f60e533e7a559d467019#diff-b335630551682c19a781afebcf4d07bf978fb1f8ac04c6bf87428ed5106870f5R22-R23 heh

If you add Bluetooth permissions in the future, connect/disconnect of devices would also be a good trigger, #1223. If you don't want to add permissions, that's also reasonable.

Are you interested in trying out my WIP full rewrite in #19?

If you're not sure *why* you would use it, it would be to see whether there are large (or small) problems in the syntax. You may be pleasantly surprised that...

Feel free to post broken snippets of code to the PR thread. Thanks for taking a look! The current repo has no regression tests, but I'm building them as I...

The title-of-issues Markdown in GitHub is not the same engine as the posts. 🙄 And there is no preview.

I have some thoughts, not in any order, nor necessarily exhaustive: 1. If Git is disabled, I expect the matches just don't show up. It's not catastrophic, right? 2. I...