We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
[x]
With ENABLE_PUSH_CREATE_USER, all of this works fine from the command line:
ENABLE_PUSH_CREATE_USER
git init test cd test echo hi > README.md git add README.md git commit -m 'Initial commit' git remote add origin git@git.example.com:jim/foo/bar/test.git git push --set-upstream origin master # this works git pull # this works cd .. git clone git@git.example.com:jim/foo/bar/test.git test2 # this works
And things look OK at first glance in the UI...
or
But clicking on the repo pops up a browser auth prompt:
followed by a page saying just "invalid credentials".
I don't even know how to delete this repo now. Related to #9175 I assume.
The text was updated successfully, but these errors were encountered:
Removing the repo from disk and the single corresponding row in the repositories table seems to have gotten rid of it cleanly.
repositories
Sorry, something went wrong.
Successfully merging a pull request may close this issue.
[x]
):Description
With
ENABLE_PUSH_CREATE_USER
, all of this works fine from the command line:And things look OK at first glance in the UI...
or
But clicking on the repo pops up a browser auth prompt:
followed by a page saying just "invalid credentials".
I don't even know how to delete this repo now. Related to #9175 I assume.
The text was updated successfully, but these errors were encountered: