Victor Stinner schrieb am 05.10.20 um 12:25:
> Would you mind reporting the issue to
> https://github.com/python/core-workflow/issues so we can aggregate
> information about this issue?
Done.
Stefan
___
Python-Dev mailing list -- python-dev@python.org
T
Stefan created https://github.com/python/core-workflow/issues/376
Victor
Le lun. 5 oct. 2020 à 12:25, Victor Stinner a écrit :
>
> Hi,
>
> Would you mind reporting the issue to
> https://github.com/python/core-workflow/issues so we can aggregate
> information about this issue?
>
> Latest changes
Ned Deily schrieb am 05.10.20 um 01:19:
> On Oct 4, 2020, at 15:55, Terry Reedy wrote:
>>
>> On 10/4/2020 2:32 PM, Mariatta wrote:
>>> This is a known issue and I have brought it up in GitHub OS Maintainers
>>> Feedback Group. It happens to other projects as well.
>>> Currently we have branch prot
Hi,
Would you mind reporting the issue to
https://github.com/python/core-workflow/issues so we can aggregate
information about this issue?
Latest changes related to Travis CI.
Travis CI migrated from legacy API to new GitHub Action API:
https://github.com/python/core-workflow/issues/371
Removal
On Oct 4, 2020, at 15:55, Terry Reedy wrote:
>
> On 10/4/2020 2:32 PM, Mariatta wrote:
>> This is a known issue and I have brought it up in GitHub OS Maintainers
>> Feedback Group. It happens to other projects as well.
>> Currently we have branch protection rule where even administrators couldnt
On Sun, Oct 4, 2020 at 8:34 PM Mariatta wrote:
> Perhaps we can relax the rule to allow administrators to merge the stuck PRs.
> At least
> temporarily until Travis/GitHub fixes it. Does this sound okay?
+1 on relaxing the rule permanently. We should not give robots more
rights than humans.
Peo
On 10/4/2020 2:32 PM, Mariatta wrote:
This is a known issue and I have brought it up in GitHub OS Maintainers
Feedback Group. It happens to other projects as well.
Currently we have branch protection rule where even administrators
couldnt merge the PR unless all the required checks passed.
P
This is a known issue and I have brought it up in GitHub OS Maintainers
Feedback Group. It happens to other projects as well.
Currently we have branch protection rule where even administrators couldnt
merge the PR unless all the required checks passed.
Perhaps we can relax the rule to allow admin