Hi Dmitry,
On Sun, Dec 20, 2020 at 06:59:21PM +0300, Dmitry V. Levin wrote:
> On Sun, Dec 20, 2020 at 06:37:36PM +0300, Dmitry V. Levin wrote:
> > I'll remove it from .gitignore in the second commit then.
>
> Apparently, it's the only entry in backends/.gitignore, and it's really
> not a good ide
On Sun, Dec 20, 2020 at 06:37:36PM +0300, Dmitry V. Levin wrote:
> On Sun, Dec 20, 2020 at 04:28:30PM +0100, Mark Wielaard wrote:
> > Hi Dmitry,
> >
> > On Sun, Dec 20, 2020 at 03:11:19PM +0300, Dmitry V. Levin wrote:
> > > Move subdirectory parts of the top level .gitignore into appropriate
> > >
On Sun, Dec 20, 2020 at 04:28:30PM +0100, Mark Wielaard wrote:
> Hi Dmitry,
>
> On Sun, Dec 20, 2020 at 03:11:19PM +0300, Dmitry V. Levin wrote:
> > Move subdirectory parts of the top level .gitignore into appropriate
> > subdirectories. This would be consistent with ChangeLog files,
> > currentl
Hi Dmitry,
On Sun, Dec 20, 2020 at 03:11:19PM +0300, Dmitry V. Levin wrote:
> Move subdirectory parts of the top level .gitignore into appropriate
> subdirectories. This would be consistent with ChangeLog files,
> currently one has to update the top level ChangeLog file when the top
> level .giti
Move subdirectory parts of the top level .gitignore into appropriate
subdirectories. This would be consistent with ChangeLog files,
currently one has to update the top level ChangeLog file when the top
level .gitignore file is changed in a way that affects specific
subdirectories only.
Signed-off
