This isn't the only place that calls pull_minimal -- grep for other call sites and fix those too.