Re: Help needed with a stuck PR merge

[Konstantin Voin]

Thank you!

On Friday, January 21, 2022 at 5:31:31 AM UTC-5 hle...@cloudbees.com wrote:

> FTR, 
> https://github.com/jenkins-infra/helpdesk/issues/2756#issuecomment-1018253290
>
> > That status has not been used for quite awhile it’s now ‘Jenkins’
> > I’ve updated the branch protection for you
>
> On Thursday, January 20, 2022 at 3:56:31 PM UTC+1 Jesse Glick wrote:
>
>> On Thu, Jan 20, 2022 at 9:51 AM Konstantin Voin  wrote:
>>
>>> No luck
>>>
>>
>> https://github.com/jenkins-infra/helpdesk/issues/new/choose 
>>
>

-- 
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 jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/0f08e319-7abb-4c37-a81f-9438c50bf112n%40googlegroups.com.

Re: Help needed with a stuck PR merge

['Herve Le Meur' via Jenkins Developers]

FTR, 
https://github.com/jenkins-infra/helpdesk/issues/2756#issuecomment-1018253290

> That status has not been used for quite awhile it’s now ‘Jenkins’
> I’ve updated the branch protection for you

On Thursday, January 20, 2022 at 3:56:31 PM UTC+1 Jesse Glick wrote:

> On Thu, Jan 20, 2022 at 9:51 AM Konstantin Voin  wrote:
>
>> No luck
>>
>
> https://github.com/jenkins-infra/helpdesk/issues/new/choose 
>

-- 
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 jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/0f827b4c-188a-4e36-aff0-ed3ae96c9f8cn%40googlegroups.com.

Re: Help needed with a stuck PR merge

['Jesse Glick' via Jenkins Developers]

On Thu, Jan 20, 2022 at 9:51 AM Konstantin Voin  wrote:

> No luck
>

https://github.com/jenkins-infra/helpdesk/issues/new/choose

-- 
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 jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/CANfRfr1bHPA9LBmxfky7Gj07Pp_v7x0bSZXP8OPrJs_TeLAj1w%40mail.gmail.com.

Re: Help needed with a stuck PR merge

[Konstantin Voin]

No* luck ;)

On Thursday, January 20, 2022 at 9:41:49 AM UTC-5 Konstantin Voin wrote:

> No I don't get an option to override. What does that step really mean? 
> What status is being waited to be reported? Could it be in internal 
> pipeline hiccup? I tried to close and reopen the PR and luck.
>
> Thanks!
>
> On Thursday, January 20, 2022 at 2:51:52 AM UTC-5 ga...@gavinmogan.com 
> wrote:
>
>> To you and Albert (message right before this one about the same issue). 
>> As the maintainer don't you have admin access to that repo? Can't you 
>> override and merge?
>>
>> On Wed., Jan. 19, 2022, 11:36 p.m. Ullrich Hafner,  
>> wrote:
>>
>>> Is your PR up to date with master branch (merge or rebase?)?
>>>
>>> Am 20.01.2022 um 05:36 schrieb Konstantin Voin :
>>>
>>> Hello,
>>>
>>> Can someone help with the last check on this PR: 
>>> https://github.com/jenkinsci/fortify-on-demand-uploader-plugin/pull/108 
>>> ?
>>>
>>> It's been sitting on 
>>> *continuous-integration/jenkins/pr-merge *Expected — Waiting for status 
>>> to be reported 
>>> and we are not sure how to proceed?
>>>
>>> Thanks!
>>>
>>> -- 
>>> 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 jenkinsci-de...@googlegroups.com.
>>> To view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/jenkinsci-dev/b20d8808-7d8d-4031-ab85-5c16ceceb331n%40googlegroups.com
>>>  
>>> 
>>> .
>>>
>>>
>>> -- 
>>> 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 jenkinsci-de...@googlegroups.com.
>>>
>> To view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/jenkinsci-dev/C46DC159-341B-40C2-9AFA-49CDD0029EBE%40gmail.com
>>>  
>>> 
>>> .
>>>
>>

-- 
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 jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/05ec1127-f583-47ba-a3a1-306817019b2cn%40googlegroups.com.

Re: Help needed with a stuck PR merge

[Konstantin Voin]

No I don't get an option to override. What does that step really mean? What 
status is being waited to be reported? Could it be in internal pipeline 
hiccup? I tried to close and reopen the PR and luck.

Thanks!

On Thursday, January 20, 2022 at 2:51:52 AM UTC-5 ga...@gavinmogan.com 
wrote:

> To you and Albert (message right before this one about the same issue). As 
> the maintainer don't you have admin access to that repo? Can't you override 
> and merge?
>
> On Wed., Jan. 19, 2022, 11:36 p.m. Ullrich Hafner,  
> wrote:
>
>> Is your PR up to date with master branch (merge or rebase?)?
>>
>> Am 20.01.2022 um 05:36 schrieb Konstantin Voin :
>>
>> Hello,
>>
>> Can someone help with the last check on this PR: 
>> https://github.com/jenkinsci/fortify-on-demand-uploader-plugin/pull/108 ?
>>
>> It's been sitting on 
>> *continuous-integration/jenkins/pr-merge *Expected — Waiting for status 
>> to be reported 
>> and we are not sure how to proceed?
>>
>> Thanks!
>>
>> -- 
>> 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 jenkinsci-de...@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/jenkinsci-dev/b20d8808-7d8d-4031-ab85-5c16ceceb331n%40googlegroups.com
>>  
>> 
>> .
>>
>>
>> -- 
>> 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 jenkinsci-de...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/jenkinsci-dev/C46DC159-341B-40C2-9AFA-49CDD0029EBE%40gmail.com
>>  
>> 
>> .
>>
>

-- 
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 jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/3ccc5851-f808-46da-be54-d2ee0aa36a90n%40googlegroups.com.

Re: Help needed with a stuck PR merge

['Gavin Mogan' via Jenkins Developers]

To you and Albert (message right before this one about the same issue). As
the maintainer don't you have admin access to that repo? Can't you override
and merge?

On Wed., Jan. 19, 2022, 11:36 p.m. Ullrich Hafner, 
wrote:

> Is your PR up to date with master branch (merge or rebase?)?
>
> Am 20.01.2022 um 05:36 schrieb Konstantin Voin :
>
> Hello,
>
> Can someone help with the last check on this PR:
> https://github.com/jenkinsci/fortify-on-demand-uploader-plugin/pull/108 ?
>
> It's been sitting on
> *continuous-integration/jenkins/pr-merge *Expected — Waiting for status
> to be reported
> and we are not sure how to proceed?
>
> Thanks!
>
> --
> 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 jenkinsci-dev+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/jenkinsci-dev/b20d8808-7d8d-4031-ab85-5c16ceceb331n%40googlegroups.com
> 
> .
>
>
> --
> 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 jenkinsci-dev+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/jenkinsci-dev/C46DC159-341B-40C2-9AFA-49CDD0029EBE%40gmail.com
> 
> .
>

-- 
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 jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/CAG%3D_Duv1V8vPdochucWs4uXcyAO0FqURP-mxtD147P4itxnMrg%40mail.gmail.com.

Re: Help needed with a stuck PR merge

[Ullrich Hafner]

Is your PR up to date with master branch (merge or rebase?)?

> Am 20.01.2022 um 05:36 schrieb Konstantin Voin :
> 
> Hello,
> 
> Can someone help with the last check on this PR: 
> https://github.com/jenkinsci/fortify-on-demand-uploader-plugin/pull/108 
>  ?
> 
> It's been sitting on 
> continuous-integration/jenkins/pr-merge Expected — Waiting for status to be 
> reported 
> and we are not sure how to proceed?
> 
> Thanks!
> 
> -- 
> 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 jenkinsci-dev+unsubscr...@googlegroups.com 
> .
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/jenkinsci-dev/b20d8808-7d8d-4031-ab85-5c16ceceb331n%40googlegroups.com
>  
> .

-- 
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 jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/C46DC159-341B-40C2-9AFA-49CDD0029EBE%40gmail.com.

Help needed with a stuck PR merge

[Konstantin Voin]

Hello,

Can someone help with the last check on this PR: 
https://github.com/jenkinsci/fortify-on-demand-uploader-plugin/pull/108 ?

It's been sitting on 
*continuous-integration/jenkins/pr-merge *Expected — Waiting for status to 
be reported 
and we are not sure how to proceed?

Thanks!

-- 
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 jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/b20d8808-7d8d-4031-ab85-5c16ceceb331n%40googlegroups.com.