tree 7dd76f0c6d18bfe90e5afde6242712c6317c8e3d
parent d5d5fd1505cebd53df7306202ce2addfe4c218f1
author Paul Jolly <paul@myitcv.io> 1611075896 +0000
committer Paul Jolly <paul@myitcv.org.uk> 1611951407 +0000

general: move from godoc.org to pkg.go.dev for documentation

Per https://blog.golang.org/godoc.org-redirect, godoc traffic will soon
be redirected automatically to pkg.go.dev.

Per the most recent golang-tools call, there is now a push to update
badges/links from godoc.org to pkg.go.dev.

pkg.go.dev is a far superior documentation experience for the CUE docs,
and there are no known blockers/issues that would prevent us migrating.

Most importantly we get a new badge.

Change-Id: Icf3ab495a69a031e5fb141440ba2f296643d5cf6
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/8234
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>