About GitHub repos and the Go module proxy server

I recently did some work that involved updating a repository containing a Go module, and then installing that module as a dependency in a different Go project. This involved a couple of mildly unusual workflows, including installing a specific branch...