builtin-checkout: use warning() instead of fprintf(stderr, "warning: ")