Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add custom user agent header into JGit #1935

Closed
mshaposhnik opened this issue Jul 25, 2016 · 1 comment
Closed

Add custom user agent header into JGit #1935

mshaposhnik opened this issue Jul 25, 2016 · 1 comment
Assignees
Labels
kind/task Internal things, technical debt, and to-do tasks to be performed. status/code-review This issue has a pull request posted for it and is awaiting code review completion by the community.

Comments

@mshaposhnik
Copy link
Contributor

[Short description of problem here]
Some of git providers have filtration by User-Agent header and disallow agents other than native git client have. Need to set custom header instead of "JGit-4.3.0" current. See codenvy/codenvy#430

Reproduction Steps:

  1. Try import project from https://sourcegraph.com/sourcegraph/sourcegraph

Expected behavior:

Project cloned

Observed behavior:

Cloning failed

Additional information:

@mshaposhnik mshaposhnik self-assigned this Jul 25, 2016
@mshaposhnik mshaposhnik added the kind/task Internal things, technical debt, and to-do tasks to be performed. label Jul 25, 2016
@mshaposhnik mshaposhnik added the status/code-review This issue has a pull request posted for it and is awaiting code review completion by the community. label Jul 26, 2016
@mshaposhnik
Copy link
Contributor Author

Done.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/task Internal things, technical debt, and to-do tasks to be performed. status/code-review This issue has a pull request posted for it and is awaiting code review completion by the community.
Projects
None yet
Development

No branches or pull requests

1 participant