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 webmaster, but I doubt they'll say any different.
Nitin Dahyabhai Eclipse Web Tools Platform _______________________________________________ wtp-dev mailing list wtp-dev@eclipse.org To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/wtp-dev
