Update build id for local builds

[vchuravy]

@boriskaus just noted this in a talk to the Mainz Julia User group.

When you use deploy="MY_USERNAME/Libfoo_jll.jl you need to delete the prior release +0 instead of getting a new build id +1

If I recall correctly we get the build id from the registry? Perhaps there is a way to get it for a " local" build.

@boriskaus do you happen to have a log where the deployment failed for you?

[giordano]

If I recall correctly we get the build id from the registry?

That's correct:

BinaryBuilder.jl/src/AutoBuild.jl

Lines 538 to 579 in 966ed11

	function get_next_wrapper_version(src_name::AbstractString, src_version::VersionNumber)
	# If src_version already has a build_number, just return it immediately
	if src_version.build != ()
	return src_version
	end
	ctx = Pkg.Types.Context()
	# Force-update the registry here, since we may have pushed a new version recently
	update_registry(devnull)
	uuid = jll_uuid(namejll(src_name))
	# If it does, we need to bump the build number up to the next value
	build_number = UInt64(0)
	if uuid in Pkg.Types.registered_uuids(ctx.registries, namejll(src_name))
	# Collect all version numbers of the package across all registries.
	versions = VersionNumber[]
	for reg in ctx.registries
	if !haskey(reg, uuid)
	continue
	end
	pkg_info = Pkg.Registry.registry_info(reg[uuid])
	append!(versions, sort!(collect(keys(pkg_info.version_info))))
	end
	unique!(sort!(versions))
	# Find largest version number that matches ours
	filter!(v -> (v.major == src_version.major) &&
	(v.minor == src_version.minor) &&
	(v.patch == src_version.patch) &&
	(v.build isa Tuple{UInt}), versions)
	# Our build number must be larger than the maximum already present in the registry
	if !isempty(versions)
	build_number = first(maximum(versions).build) + 1
	end
	end
	# Construct build_version (src_version + build_number)
	build_version = VersionNumber(src_version.major, src_version.minor,
	src_version.patch, src_version.prerelease, (build_number,))
	end

relies on the information in the registry.