On Sun, Apr 19 2020, Stuart Henderson <s...@spacehopper.org> wrote: > On 2020/04/19 21:15, f.holop wrote: >> hello, >> >> i realize the github mirror comes as is, but i was wondering, >> if it would be possible to add a teeny tiny .gitignore with >> >> /distfiles/ >> /packages/ >> /plist/ >> /pobj/ >> >> (and possibly some others i have forgotten) > > It just needs a copy of .cvsignore committing to CVS and it should > carry across. Makes sense to me, any OKs/objections?
I think we should use the format described by f.holop, ie distfiles (.cvsignore) -> /distfiles/ (.gitignore) otherwise this could create confusion in case of a name collision in a subdirectory. But yeah, makes sense, ok jca@ -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
