doc: post migration notice to main README

Change-Id: I2ad12778233cd3987212e7b7defa96ab1a01cbd0
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/10021
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>
diff --git a/README.md b/README.md
index 98c23f9..79a15c5 100644
--- a/README.md
+++ b/README.md
@@ -13,162 +13,5 @@
  See the License for the specific language governing permissions and
  limitations under the License.
 -->
-[![Go Reference](https://pkg.go.dev/badge/cuelang.org/go.svg)](https://pkg.go.dev/cuelang.org/go)
-[![Github](https://github.com/cuelang/cue/workflows/Test/badge.svg)](https://github.com/cuelang/cue/actions)
-[![GolangCI](https://golangci.com/badges/github.com/cuelang/cue.svg)](https://golangci.com/r/github.com/cuelang/cue)
-[![Go 1.14+](https://img.shields.io/badge/go-1.14-9cf.svg)](https://golang.org/dl/)
-[![platforms](https://img.shields.io/badge/platforms-linux|windows|macos-inactive.svg)]()
 
-
-# The CUE Data Constraint Language
-
-_Configure, Unify, Execute_
-
-CUE is an open source data constraint language which aims
-to simplify tasks involving defining and using data.
-
-It is a superset of JSON,
-allowing users familiar with JSON to get started quickly.
-
-
-### What is it for?
-
-You can use CUE to
-
-- define a detailed validation schema for your data (manually or automatically from data)
-- reduce boilerplate in your data (manually or automatically from schema)
-- extract a schema from code
-- generate type definitions and validation code
-- merge JSON in a principled way
-- define and run declarative scripts
-
-
-### How?
-
-CUE merges the notion of schema and data.
-The same CUE definition can simultaneously be used for validating data
-and act as a template to reduce boilerplate.
-Schema definition is enriched with fine-grained value definitions
-and default values.
-At the same time,
-data can be simplified by removing values implied by such detailed definitions.
-The merging of these two concepts enables
-many tasks to be handled in a principled way.
-
-
-Constraints provide a simple and well-defined, yet powerful, alternative
-to inheritance,
-a common source of complexity with configuration languages.
-
-
-### CUE Scripting
-
-The CUE scripting layer defines declarative scripting, expressed in CUE,
-on top of data.
-This solves three problems:
-working around the closedness of CUE definitions (we say CUE is hermetic),
-providing an easy way to share common scripts and workflows for using data,
-and giving CUE the knowledge of how data is used to optimize validation.
-
-There are many tools that interpret data or use a specialized language for
-a specific domain (Kustomize, Ksonnet).
-This solves dealing with data on one level, but the problem it solves may repeat
-itself at a higher level when integrating other systems in a workflow.
-CUE scripting is generic and allows users to define any workflow.
-
-
-### Tooling
-
-CUE is designed for automation.
-Some aspects of this are:
-
-- convert existing YAML and JSON
-- automatically simplify configurations
-- rich APIs designed for automated tooling
-- formatter
-- arbitrary-precision arithmetic
-- generate CUE templates from source code
-- generate source code from CUE definitions (TODO)
-
-
-### Download and Install
-
-#### Release builds
-
-[Download](https://github.com/cuelang/cue/releases) the latest release from GitHub.
-
-#### Install using Homebrew
-
-Using [Homebrew](https://brew.sh), you can install using the CUE Homebrew tap:
-
-`brew install cuelang/tap/cue`
-
-#### Install from Source
-
-<!-- Keep the following in sync with cmd/cue/cmd/testdata/script/install*.txt -->
-
-If you already have Go installed, the short version is:
-
-```
-GO111MODULE=on go get cuelang.org/go/cmd/cue
-```
-
-Or, if you are using Go 1.16:
-
-```
-go install cuelang.org/go/cmd/cue@latest
-```
-
-This will install the `cue` command line tool.
-
-For more details see [Installing CUE](./doc/install.md).
-
-
-### Learning CUE
-
-The fastest way to learn the basics is to follow the
-[tutorial on basic language constructs](./doc/tutorial/basics/Readme.md).
-
-A more elaborate tutorial demonstrating of how to convert and restructure
-an existing set of Kubernetes configurations is available in
-[written form](./doc/tutorial/kubernetes/README.md).
-
-### References
-
-- [Language Specification](./doc/ref/spec.md): official CUE Language specification.
-
-- [API](https://pkg.go.dev/cuelang.org/go/cue): the API on pkg.go.dev
-
-- [Builtin packages](https://pkg.go.dev/cuelang.org/go/pkg): builtins available from CUE programs
-
-- [`cue` Command line reference](./doc/cmd/cue.md): the `cue` command
-
-
-### Contributing
-
-Our canonical Git repository is located at https://cue.googlesource.com.
-
-To contribute, please read the [Contribution Guide](./doc/contribute.md).
-
-To report issues or make a feature request, use the
-[issue tracker](https://github.com/cuelang/cue/issues).
-
-Changes can be contributed using Gerrit or Github pull requests.
-
-
-### Contact
-
-You can get in touch with the cuelang community in the following ways:
-
-- Ask questions via [GitHub Discussions](https://github.com/cuelang/cue/discussions)
-- Chat with us on our
-  [Slack workspace](https://join.slack.com/t/cuelang/shared_invite/enQtNzQwODc3NzYzNTA0LTAxNWQwZGU2YWFiOWFiOWQ4MjVjNGQ2ZTNlMmIxODc4MDVjMDg5YmIyOTMyMjQ2MTkzMTU5ZjA1OGE0OGE1NmE).
-
-
----
-
-Unless otherwise noted, the CUE source files are distributed
-under the Apache 2.0 license found in the LICENSE file.
-
-This is not an officially supported Google product.
-
+# CUE has moved to https://github.com/cue-lang/cue