Solve CSRF protection problem with "git push" over HTTP