Filipe Laíns <filipe.la...@gmail.com> added the comment:

> Just like Travis, Github actions also automatically rebases pull requests 
> onto the latest master. As you can see from a recent workflow run, it uses 
> the special ref: "refs/remote/pull/20047/merge" 
> https://github.com/python/cpython/pull/20047/checks?check_run_id=665377507#step:2:898

Thanks for letting me know. I did search through the documentation but I hadn't 
found anything regarding this. Well, I guess [1] hinted it but I did not pay 
enough attention :D

> Unless there's real world examples of ongoing problems with PRs being merged 
> with outdated test runs, I don't think this is worth complicating our CIs for.

Although I understand your point, I think this is one of those cases where 
things can easily get out of hand. And when that happens, it could be very 
difficult to revert unless you catch it right away. There's too much noise for 
me to find examples, sorry.

> As Inada-san mentioned, the occasional slip through will eventually be caught 
> by the buildbots and promptly reverted. Re-triggering the CI for very stale 
> pull requests might be worth doing. I'm kinda opposed to an automated system 
> because this creates an undue burden on our CI providers, Travis graciously 
> provides us with extra time for our coverage builds to finish already. 
> Re-running pull requests that might never be merged is a lot of added work 
> for them.

Well, I was not really proposing that. I suggested to retrigger on approvals 
(and by this I mean approvals from core devs) or have a bot retriggering and 
merging automatically.

> Maybe we can get one of the bots to tag old pull requests and then have some 
> guidance in the core-dev guide to re-run the CIs manually when merging those 
> PRs.

Yes, this seems reasonable, and could be expanded in the future. I think we 
should document this and maybe add a bot command to allow devs to retrigger 
more easily (I was thinking they could just comment with /test).

[1] 
https://github.com/actions/checkout#Checkout-pull-request-HEAD-commit-instead-of-merge-commit

----------

_______________________________________
Python tracker <rep...@bugs.python.org>
<https://bugs.python.org/issue40551>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to