1

First of all, this is running on Linux so forget about the Credential Manager from Windows.

By mistake I deployed a Theia IDE Docker container with my own Git credentials saved in it, which should belong to an another user. How do I reset the credentials?

I tried deleting it from /home/theia/.git-credentials but that brought nothing, because it still keeps on using my credentials.

Yes, I did use a command to save my credentials beforehand.

This is not a security issue for me per se, but rather an inconvenance, because my pushes from other users still show my name even though they were changed using 

git config --global user.email "example@example.com"

git config --global user.name "[THEIA] Firstname Lastname"
Munchkin
  • 857
  • 5
  • 24
  • 51

1 Answers1

1

First of all, this is running on Linux so forget about the Credential Manager from Windows.

Well... there still is microsoft/Git-Credential-Manager-for-Mac-and-Linux

And if you are talking about the author associated to commits, that would not have anything to do with credentials anyway, only with user.name/user.email.
You would need to change the author of those commits first and then force push.

The OP munchkin mentions in the comments:

he credentials expired just as I wanted to test this.
So that is solved, I guess, by doing nothing.

VonC
  • 1,262,500
  • 529
  • 4,410
  • 5,250
  • Well the credentials expired just as I wanted to test this. So that is solved I guess by doing nothing :D – Munchkin May 28 '20 at 11:24
  • @Munchkin Good point, and thank you for the feedback. I have included your comment in the answer for more visibility. – VonC May 28 '20 at 11:26