Re: Do we still want develop branch?

From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2023-11-12 17:40:46

On 11/12/23 19:06, Janek Kozicki via Boost wrote:
> Vinnie Falco via Boost said:     (by the date of Sun, 12 Nov 2023 07:52:46 -0800)
> 
>> Why is this ridiculous conversation "Do we still want develop branch"
>> still raging?
> 
> And what was the decision: yes or no? Will there be a vote?

To be clear, the original point of this topic was to hear people's
opinion on the develop branch usefulness. This wasn't a vote or proposal
to remove it.