Sam Tobin-Hochstadt

Yes, PRs for this (and other things) are certainly welcome.

Unfortunately you can't change tags unless you can commit to the repo.

1. I think the conventional approach in IDEs is @greghendershott's 1 (which I wouldn't really describe as "punt" -- that sounds more like "don't solve the problem"). 2. Communicating via...

The reason the pkg server has a different checksum is that the current source fails to checkout (that hash does not exist in the repository). So the pkg server has...

A different way to putting it: the following command succeeds, because the checksum is supplied, as in the case with the catalog on https://pkgs.racket-lang.org/. ``` raco pkg install --checksum 7fb08d6902d34399c96a325d68fd27f1ff84813b...

To describe this in a little more detail after talking to @mflatt. Right now, the semantics of a Git repository source (ignoring path specification) is something like this: - the...

> Having a Source field that includes a Git object id (as opposed to a symbolic reference) and a Checksum field that conflicts with that object id seems like a...

I think enabling non-github editing in the browser would be a lot of extra work, and we should aim for that only after we have a solution that first just...

Sorry for the delay in getting to this. I think we want to do the following: 1. Integrate the generic parts of this. 2. Have a place (in the repository)...

@magnusmorton can you split this up into two PRs, one for mmap and one for TCP?