Expand documentation of patch_args for git_repository
Document the default value of `patch_args` for `git_repository()` and `new_git_repository()`, and mention that `-p1` will usually be needed for patches produced by git. Follow up to
Closes
@@ -182,7 +182,10 @@ _common_attrs = {
),
"patch_args": attr.string_list(
default = ["-p0"],
- doc = "The arguments given to the patch tool",
+ doc =
+ "The arguments given to the patch tool. Defaults to -p0, " +
+ "however -p1 will usually be needed for patches generated by " +
+ "git.",
),
"patch_cmds": attr.string_list(
default = [],
