github proto fix (git: -> https:)