// Package empty is pulled in only for the side-effect of checking out the
// gokrazy git repository.
package empty