Merge pull request #7993 from dtrodrigues/get_repo_head

audit: also search head url to get repo data
This commit is contained in:
Bo Anderson 2020-07-14 00:19:31 +01:00 committed by GitHub
commit 4a20f76382
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -559,6 +559,7 @@ module Homebrew
_, user, repo = *regex.match(formula.stable.url) if formula.stable
_, user, repo = *regex.match(formula.homepage) unless user
_, user, repo = *regex.match(formula.head.url) if !user && formula.head
return if !user || !repo
repo.delete_suffix!(".git")