Git push to https repo

Steps to reproduce:

I have cloned a repo by https link form GitHub. After that, i changed a file, added to index and made commit. Next i tried to push changes but got 403 unauthorized error. Is it possible to push changes using https github link?

[original thread by Maxim Musienko]

Yes, it is possible. It depends on where and how you use Theia. for instance uses github oauth and than configures your workspaces based on the permissions you gave it. If you run Theia manually you could for instance use a token and configure the git remote.

[Maxim Musienko]