lib/jgit/BUILD - gerrit - Git at Google

 config_setting(
     name = "dev",
     values = {
         "define": "jgit-dev=1",
     },
     visibility = ["//visibility:public"],
 )
	config_setting(
	name = "dev",
	values = {
	"define": "jgit-dev=1",
	},
	visibility = ["//visibility:public"],
	)