Merge pull request #10057 from MikeMcQuaid/github_search_delete_prefix

utils/github: tweak search_code style.
This commit is contained in:
Mike McQuaid 2020-12-18 14:15:55 +00:00 committed by GitHub
commit 68dbbc0a34
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -317,7 +317,7 @@ module GitHub
matches.map do |match|
# .sub workaround for GitHub returning preceding /
match["path"] = match["path"].sub(%r{^/}, "")
match["path"] = match["path"].delete_prefix("/")
match
end
end