Re: [wtp-dev] request to change commit author on the commit report page

2018-07-14 Thread Mukul Gandhi
Thanks, Nick & Nitin for the thoughts. I agree. Let the particular commit remain as it is. Regards, Mukul Sent from gmail for Android On Tue 10 Jul, 2018, 8:01 AM Nick Boldt, wrote: > A 4 year old commit, and all the others before / after are correctly owned. > > Begs the question... Why do

Re: [wtp-dev] request to change commit author on the commit report page

2018-07-09 Thread Nick Boldt
A 4 year old commit, and all the others before / after are correctly owned. Begs the question... Why do you care? You already have bragging rights for like every other commit on that branch. ;) -- Nick Boldt Principal Software Engineer, RHCSA Productization Lead :: JBoss Tools & Dev Studio IM:

Re: [wtp-dev] request to change commit author on the commit report page

2018-07-09 Thread Nitin Dahyabhai
On 7/7/18 2:44 AM, Mukul Gandhi wrote: Is it possible, that author of that commit can be changed to 'mgandhi'? I think, that would be ok. I don't think there's a way to do that without rewriting the git repository history, even if it allows such changes to be pushed. You can ask the

[wtp-dev] request to change commit author on the commit report page

2018-07-07 Thread Mukul Gandhi
Hi all, Please look at this page, http://git.eclipse.org/c/sourceediting/webtools.sourceediting.xpath.git/log/?h=R3_2_maintenance . One of the commits listed on this page, at top mentions author as IBM_ADMIN (with commit message, "[xpath2] fixing an anyURI equality check bug. other minor code