Rename //deploy -> //nix_gcr

I create //deploy when I first deployed a few applications that I
packaged with Nix. This was before I setup socrates as my "cloud". Now I
deploy all of my services using NixOS. The name "deploy" is a bit stale.
I'm renaming it //nix_gcr because it documents how I can deploy
Nix-packaged projects on Google Cloud Run.

3 files changed, 8 insertions, 4 deletions

diff --git a/deploy/README.md b/nix_gcr/README.md
index 026dcc9c05c9..9d111cf6bba5 100644
--- a/deploy/README.md
+++ b/nix_gcr/README.md
@@ -1,6 +1,7 @@
-# Deployments
+# Nix + Google Cloud Run (i.e. GCR)
 
-I'm documenting how I currently deploy things.
+I'm documenting how I currently deploy projects that I package with Nix on
+Google Cloud Run.
 
 I'd like to automate this workflow as much as possible, and I intend to do just
 that. For now, I'm running things manually until I can design an generalization
@@ -40,8 +41,6 @@ This outputs a Docker image at `./result`.
 > sudo docker tag <name>:<label> gcr.io/<google-cloud-project-id>/<name>:<latest>
 ```
 
-# TODO: Prefer using a command line tool like `gcloud` for these steps.
-
 1. Visit Google Cloud Run; create a new service with "Create Service"; select
    the uploaded Docker image from the "Container Image URL" field; click
    "Create" to deploy.
@@ -56,3 +55,8 @@ You may need to authorize `gcloud` by running the following:
 
 You must use `sudo` here since the `docker` invocations are prefixed with `sudo`
 as well.
+
+## Todos
+
+- If possible, prefer using a command line tool like `gcloud` to create the
+  Cloud Run service.
diff --git a/deploy/cloud_run.nix b/nix_gcr/cloud_run.nix
index 70be4040c36b..70be4040c36b 100644
--- a/deploy/cloud_run.nix
+++ b/nix_gcr/cloud_run.nix
diff --git a/deploy/config.lisp b/nix_gcr/config.lisp
index 54f8e5f34462..54f8e5f34462 100644
--- a/deploy/config.lisp
+++ b/nix_gcr/config.lisp