Can we please kill the hyphenator already?

[Jakob Ovrum]

On Monday, 30 September 2013 at 03:24:53 UTC, Jonathan M Davis 
wrote:
> I don't think so. IIRC, it's just Andrei and Walter who have 
> permissions to do
> that, and it only normally happens when there's a release. 
> Occasionally Andrei
> will update it after certain pulls, but since he didn't merge 
> this one, he
> didn't update the site afterwards (and AFAIK, he hasn't updated 
> the site for
> any other pulls).
>
> - Jonathan M Davis

This lack of structure has always bugged me. I think we should 
push changes to master immediately (i.e. automatically), then 
reserve a new branch "next" for changes that should not go live 
before the next release.