Thanks Mark. Yeah, I guess it isn't worth the risk. Thanks for the quick response (and on Sunday!), I appreciate it! :)
Tzach On Sun, Nov 28, 2021 at 2:25 PM Mark Waite <[email protected]> wrote: > > On Sunday, November 28, 2021 at 3:21:58 AM UTC-7 Tzach wrote: > >> Hi All, >> >> I have a commit where I wrote the wrong email and user and I would like >> to change it. >> I understand this might be a noob question but is there a way to >> change the email and user name on the already pushed commit? >> >> > That will require rewriting the history of the local repository and will > require rewriting the history on the locations where it was pushed. > > > https://stackoverflow.com/questions/3042437/how-to-change-the-commit-author-for-one-specific-commit > provides several different ways to do it and includes good descriptions of > the risks associated with those alternatives. > > I've generally found that it is not worth the risk to change the email and > user name of an already pushed commit. > > Mark Waite > > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/99045612-d7c2-4c03-96fd-bc69fa6922fbn%40googlegroups.com > <https://groups.google.com/d/msgid/jenkinsci-dev/99045612-d7c2-4c03-96fd-bc69fa6922fbn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAC19wgJCRpuhsf6RD-dREKJ16mXbcqBSnROeLVstm2CR7aCrNw%40mail.gmail.com.
