On Sun, Mar 02, 2025 at 05:16:23PM +0100, Scott Kostyshak wrote: > Is it OK to push branches to our main repository? > > We have a features repository (https://wiki.lyx.org/Devel/LyXGit#toc4), > but I'm talking about more short-lived branches. It would be more > convenient if we can make those on the main remote, but I forget if we > have a policy against that for some reason.
I would prefer not to do it. It will clutter list of branches which we currently reserve for major stuff like "2.4.x" (eg imagine listing in our git web services) and probably also unnecessarily increase size of the whole repo which is slowly approaching 1GB already (not trying to save disk space but rather download bandwidth). Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org https://lists.lyx.org/mailman/listinfo/lyx-devel
