ahhhh... I think I know what it is...
if you change your commit ID, but the ID of master still the same.. perhaps there are no issues... I would stick to this procedure though.. as it would always work. On Tue, Apr 17, 2018 at 11:59 AM, Clebert Suconic <[email protected]> wrote: > for some reason that hasn't been the case on ActiveMQ Artemis. Perhaps > because there's some mirroring happening? > > On Tue, Apr 17, 2018 at 10:32 AM, Jiri Danek <[email protected]> wrote: >> And I also can force push into the branch and get rid of the previous >> commits, so the PR seems to be completely restored. >> >> -- >> Jiri Daněk >> Messaging QA > > > > -- > Clebert Suconic -- Clebert Suconic
