On Mon, Mar 03, 2025 at 05:28:48PM +0100, Pavel Sanda wrote:
> On Mon, Mar 03, 2025 at 03:29:31PM +0100, Scott Kostyshak wrote:
> > On Mon, Mar 03, 2025 at 03:19:08PM +0100, Jean-Marc Lasgouttes wrote:
> > > Le 03/03/2025 ? 15:12, Scott Kostyshak a écrit :
> > > > True, my theory is that some devel
On Mon, Mar 03, 2025 at 03:29:31PM +0100, Scott Kostyshak wrote:
> On Mon, Mar 03, 2025 at 03:19:08PM +0100, Jean-Marc Lasgouttes wrote:
> > Le 03/03/2025 ? 15:12, Scott Kostyshak a écrit :
> > > True, my theory is that some developers don't use branches because
> > > having to use the features rep
On Mon, Mar 03, 2025 at 03:19:08PM +0100, Jean-Marc Lasgouttes wrote:
> Le 03/03/2025 à 15:12, Scott Kostyshak a écrit :
> > True, my theory is that some developers don't use branches because
> > having to use the features repo is just a bit more of an inconvenience
> > than using the main repo. I'
Le 03/03/2025 à 15:12, Scott Kostyshak a écrit :
True, my theory is that some developers don't use branches because
having to use the features repo is just a bit more of an inconvenience
than using the main repo. I'm not so confident in my theory though.
Why is it less convenient? I personally
On Mon, Mar 03, 2025 at 01:13:46PM +0100, Pavel Sanda wrote:
> On Mon, Mar 03, 2025 at 11:54:22AM +0100, Scott Kostyshak wrote:
> > True. What if I volunteer to take care of the pruning to keep things
> > clean?
>
> Might work.
>
> > I'm not sure about this. I don't think the merge commit takes u
On Mon, Mar 03, 2025 at 11:54:22AM +0100, Scott Kostyshak wrote:
> True. What if I volunteer to take care of the pruning to keep things
> clean?
Might work.
> I'm not sure about this. I don't think the merge commit takes up much
> additional space. I'm pretty sure Git is efficient and does not
>
On Sun, Mar 02, 2025 at 09:40:00PM +0100, Pavel Sanda wrote:
> 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
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
