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.
Scott
signature.asc
Description: PGP signature
-- lyx-devel mailing list lyx-devel@lists.lyx.org https://lists.lyx.org/mailman/listinfo/lyx-devel
