<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, May 19, 2019 at 8:50 AM Martin Landa <<a href="mailto:landa.martin@gmail.com">landa.martin@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi,<br>
<br>
ne 19. 5. 2019 v 11:52 odesílatel Martin Landa <<a href="mailto:landa.martin@gmail.com" target="_blank">landa.martin@gmail.com</a>> napsal:<br>
> > * tools/ content could be moved to a new git repo,<br>
> > `grass-maintenance-tools` (any idea for better name).<br>
<br>
another option is to keep tools in `grass-addons` repo, just to move<br>
them into separated branch. In summary, list of branches:<br>
<br></blockquote><div><br></div><div>I think tools should be in grass (/tools) or in maintenance.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
* grass7 (content of grass7/* dir) <-- default<br>
* grass6 (content of grass6/* dir)<br></blockquote><div><br></div><div>This makes sense as branches. No master seems to make sense here if we continue managing addons the same way.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
* tools (content of tools/* dir)<br></blockquote><div><br></div><div>Not a branch. See above.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
Than content of branches will be different which is not probably a<br>
perfect approach. On the other hand we will minimize number of git<br>
repo.</blockquote><div><br></div><div>The maintenance repo makes sense to me unless there is a strong reason to put everything into the main repo.<br></div></div></div>