Joel McCracken

Results 30 issues of Joel McCracken

Do you have any thoughts on DoS attack vectors? I'm especially concerned about specifics to the implementation of Emacs which makes some things problematic. One thing that comes to mind,...

What should a asciinema recording show? Im guessing it would be good to show off each feature: - running non-interactively to see the state of the system; do this first...

I just realized that this is very similar to: http://myrepos.branchable.com/ I wonder if I should stop working on this and instead use that? We certainly have similar features. But I'd...

From @Anton-Latukha via gitter chat from another project: > Good project. I looked to find something like that at the time of exactly 2 years ago, because then I found...

Considering @vladciobanu made #10 , I wonder if it would make sense to have a force option for every interactive action? And this makes me wonder if there would be...

This looks neat! What does it do exactly? :) basically it automates the process of cleaning up your computer (making sure all your git repo branches are committed and pushed,...

I have been working on an image that uses Alpine, and I was wondering if i submitted a PR, it would be welcome. Of course I will change it however...

I'm wondering, is there anything I can do to help with this project? It is rare that I am excited by something as much as I have been by this....

question

The Fix for this actually comes from Kyle Miller (https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/Joel.20McCracken/near/328720514)

It seems like this could be extremely useful. A decent project to start with might be bats: https://github.com/sstephenson/bats