Josh Deprez

Lack of a doc actually laying out the vision is bad enough to be a bug. I have one I've been writing, just needs polishing and releasing.

Documentation - I think I have a lot of writing to do!

In the existing code, and(True).Eval() = true, but and(True).nnf().Eval() = false. The nnf method elides True, leaving an empty conjunction. So the problem is the choice of False for the...

bf sometimes create unsatisfiable CNFs from satisfiable formulas, because of a bug with dummy variables. When inserting a dummy variable d, -d must be added to each new clause generated...

SSH commit signing: Missing "key::" prefix for literal key in setup instructions

2

### Code of Conduct - [X] I have read and agree to the GitHub Docs project's [Code of Conduct](https://github.com/github/docs/blob/main/CODE_OF_CONDUCT.md) ### What article on docs.github.com is affected? https://docs.github.com/en/authentication/managing-commit-signature-verification/telling-git-about-your-signing-key ### What part(s)...

## Requirements * [x] This is Software as a Service not self hosted * [x] It has a free tier not just a free trial * [x] The submission mentions...

Known issues with git mirrors

1

This issue exists to billboard known problems with git mirrors across different agent versions. ## Checkouts sometimes fail with 'bad object', 'did not send all necessary objects' errors **Issue:** Checkouts...

Use Agent API for locking mirrors and known_hosts

1

If the Agent API experiment is enabled and working, then shell will now use it for locking instead of `flock`. At least two reasons for this: 1. The API socket...

The README suggests an alternative way to run the agent from source is to use `go run`. Because the agent executes itself, using `go run main.go start` without an existing...

This PR adds a new func for creating `TCPClientHandler` using an existing `net.Conn`. Some vendors like to obfuscate a regular connection inside some "encryption", or need some custom connection setup....