git clone git@github.com:foo/bar.git
    # fix locally
    git commit
    git push  # creates pull request

THAT ... would increase git user engagement by a factor of x>>0