Re: Merging pull requests instead of closing them
| From: | go dot al dot ni at gmail dot com | Date: | Tue, 19 May 2026 15:06:42 +0000 |
| Subject: | Re: Merging pull requests instead of closing them | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-130972@lists.php.net to get a copy of this message | ||
> If we can find a way to avoid the additional CI resource usage, I'd be happy to implement
> these changes.
You may add a
[skip ci] string somewhere in the commit message after
rebasing and before force-pushing.
https://docs.github.com/en/actions/how-tos/manage-workflow-runs/skip-workflow-runs