Gitpod: [git] I cannot push to a remote Theia

[kittaakos]

Describe the bug

I cannot push to Theia. I have write-access to the repository.

To Reproduce

• Open Gitpod on a Theia issue, I picked this one: https://github.com/theia-ide/theia/issues/5743
• Do your work and commit it with sign-off by. I do not know if sign-off by matters.
• Publish changes from the status bar.

gitpod /workspace/theia $ git remote -v
origin  https://github.com/theia-ide/theia.git (fetch)
origin  https://github.com/theia-ide/theia.git (push)
gitpod /workspace/theia $ 

root INFO GitHubGitErrorHandler > error message: Request push failed with message: Authentication failed. You may not have permission to access the repository or the repository may have been archived.

Expected behavior
I can push.

[kittaakos]

By the way, I use 2FA for GH.

[AlexTugarev]

Thanks for reporting this @kittaakos! I know for sure that you have write access to that repo 🙏

We've two issues to solve here:

1. get rid of the second error message from above which is just confusing
2. reword first message to tell you that Gitpod needs to be authorized to be allowed to perform git actions on your behalf

We definitely need to improve those flows to make it clear, that it's a different set of permissions your granting to the Gitpod services in order to work with. For example: you need to explicitly allow access for organizations on GitHub even if you're an owner.

[AlexTugarev]

Almost forgot to mention: a click on Grant Permissions and repeating of Publish changes from the status bar. should be "enough". Well, as I said this is not obvious.

[kittaakos]

I can confirm, Granting Permissions and the pushing the branch to the remote again worked.

• I clicked on Grant Permissions.
• Open the GH auth page.
• Entered username and pwd.
• I entered the 2FA code.
• Seen this:

• Then I switched back to my Gitpod window.
• I pushed the branch.
• It worked. ✨

[felixfbecker]

Where can I find this "Grant permissions" button?

[JesterOrNot]

@felixfbecker
https://www.loom.com/share/78fa5f0e110b47fda56399ddf7a232ea

[jankeromnes]

Thanks for making a screen cast @JesterOrNot!

Also, direct link is https://gitpod.io/access-control/