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
