| Index: utils/pub/git_source.dart
|
| diff --git a/utils/pub/git_source.dart b/utils/pub/git_source.dart
|
| index cea2bacf59ff2de0f89842ad1af128cce9ee502d..2802ad8a09dde86adb7e24c3fcf8a280747351fa 100644
|
| --- a/utils/pub/git_source.dart
|
| +++ b/utils/pub/git_source.dart
|
| @@ -148,7 +148,7 @@ class GitSource extends Source {
|
| // directory.
|
| ensureDir(to);
|
| var args = ["clone", from, to];
|
| - if (mirror) args.insertRange(1, 1, "--mirror");
|
| + if (mirror) args.insert(1, "--mirror");
|
| return git.run(args);
|
| }).then((result) => null);
|
| }
|
|
|