[gentoo-proxy-maint] GitHub update: can't reopen pull requests

[gentoo-proxy-maint] GitHub update: can't reopen pull requests

[Michał Górny]

[-- Attachment #1: Type: text/plain, Size: 352 bytes --]

Bad news, everyone.

It seems that GitHub has somehow locked out the option to reopen pull
requests that were closed during the attack.  If it's possible to reopen
them on your end, please by all means to do.  Otherwise, please file
a new pull request and reference the previous one in comment
if possible.

-- 
Best regards,
Michał Górny

[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 963 bytes --]

Re: [gentoo-proxy-maint] GitHub update: can't reopen pull requests

[Michał Górny]

[-- Attachment #1: Type: text/plain, Size: 777 bytes --]

W dniu śro, 04.07.2018 o godzinie 09∶40 +0200, użytkownik Michał Górny
napisał:
> Bad news, everyone.
> 
> It seems that GitHub has somehow locked out the option to reopen pull
> requests that were closed during the attack.  If it's possible to reopen
> them on your end, please by all means to do.  Otherwise, please file
> a new pull request and reference the previous one in comment
> if possible.
> 

Ok, I now see that GitHub has somehow dislinked the pull requests from
the original branches, while original branches seem fine.  I will try to
contact GitHub support if they can fix that.

In any case, feel free to start opening new pull requests but please do
not go too fast.  There are only a few of us.

-- 
Best regards,
Michał Górny

[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 963 bytes --]

Re: [gentoo-proxy-maint] GitHub update: can't reopen pull requests

[Michał Górny]

[-- Attachment #1: Type: text/plain, Size: 982 bytes --]

W dniu śro, 04.07.2018 o godzinie 09∶57 +0200, użytkownik Michał Górny
napisał:
> W dniu śro, 04.07.2018 o godzinie 09∶40 +0200, użytkownik Michał Górny
> napisał:
> > Bad news, everyone.
> > 
> > It seems that GitHub has somehow locked out the option to reopen pull
> > requests that were closed during the attack.  If it's possible to reopen
> > them on your end, please by all means to do.  Otherwise, please file
> > a new pull request and reference the previous one in comment
> > if possible.
> > 
> 
> Ok, I now see that GitHub has somehow dislinked the pull requests from
> the original branches, while original branches seem fine.  I will try to
> contact GitHub support if they can fix that.
> 

Staying with the bad news.  GitHub replied they weren't prepared for
something like this and they can't fix it.  Please open new pull
requests then.

Once again, I'm really sorry for the problems.

-- 
Best regards,
Michał Górny

[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 963 bytes --]