Re: [platform-dev] Accidental push to eclipse.platform.debug

Why don't you just go ahead and push up a change to gerrit with the same commit for the sole purpose of running the gerrit review build?  Just put a -2 on it yourself to ensure it doesn't get merged. Tom      - Original message -From: Alex Blewitt Sent by: platform-dev-boun...@eclipse.orgTo

Re: [platform-dev] Accidental push to eclipse.platform.debug

Unfortunately this > won’t catch version update issues. Useful when you want to verify integration > in SDK. > > Thanks > Sravan > > > From: Alex Blewitt > Sent: 20 October 2020 22:06 > To: Eclipse platform general developers list. > Subject: [EXTERNAL] Re:

Re: [platform-dev] Accidental push to eclipse.platform.debug

. Unfortunately this won’t catch version update issues. Useful when you want to verify integration in SDK. Thanks Sravan From: Alex Blewitt Sent: 20 October 2020 22:06 To: Eclipse platform general developers list. Subject: [EXTERNAL] Re: [platform-dev] Accidental push to eclipse.platform.debug

Re: [platform-dev] Accidental push to eclipse.platform.debug

> On 20 Oct 2020, at 17:30, Mickael Istria wrote: > > > > On Tue, Oct 20, 2020 at 6:23 PM Alex Blewitt > wrote: > I accidentally pushed to master in the platform debug repository in a change > that I thought I’d configured for Gerrit: > https://git.eclipse.org/c

Re: [platform-dev] Accidental push to eclipse.platform.debug

On Tue, Oct 20, 2020 at 6:23 PM Alex Blewitt wrote: > I accidentally pushed to master in the platform debug repository in a > change that I thought I’d configured for Gerrit: > > https://git.eclipse.org/c/platform/eclipse.platform.debug.git/commit/?id=5c202200d26fa8f0fb07c46d3f92f5e4338b2f32 > Wh

[platform-dev] Accidental push to eclipse.platform.debug

I accidentally pushed to master in the platform debug repository in a change that I thought I’d configured for Gerrit: https://git.eclipse.org/c/platform/eclipse.platform.debug.git/commit/?id=5c202200d26fa8f0fb07c46d3f92f5e4338b2f32