On Wed, Oct 29, 2025 at 06:28:39PM +0100, Georg Baum wrote: > +1. Force pushing on main ore stable branches creates lots of problems for > users who already got the old commit.
And since some of those "users" are services on our servers which immediately mirror new commits in the git tree, this is no-go. Pavel -- lyx-devel mailing list [email protected] https://lists.lyx.org/mailman/listinfo/lyx-devel
