Hi
[Resending with better compressed attachment, because 30k limit]
first off: I don't care particularly strongly about this matter. I would
be in favor of cleaning out the old branches, but I'm also not in a
position to tell others how to do their job.
On 12/14/22 21:04, Sara Golemon wrote:
On Tue, Dec 13, 2022 at 12:03 PM Tim Düsterhus wrote:
> One benefit of removing those branches would be, that usability of
> GitHub's branch selector improves, specifically the branch selector when
> creating a new PR.
>
Maybe this is my CLI privilege talking, but who's using pulldowns to select
As I previously wrote in the old Thread, ...
I would like to say that we should keep the release process as it is,
until a true, real, use case shows up.
Whoever participated in the threads is already aware about the so many
possibilities, and adjustments to the release/work process , that have
t
I am back into PHP internals.
After reading again and again, I would like to say that I think we
should keep the release process as it is. If there is a feature not
currently available in the current release, *at least* a user has
the possibility to download and compile the code by itself; n
