Um, Sure I guess. The long-term thing for nix is to get the final results upstream, into the nix process; so that repo is "temporary" or "experimental". So, for Debian, the long-term strategy would be to have debian packages on debian unstable, just like any other debian package. I don't know how that process actually works. But "in the meanwhile" having a github repo is fine by me. Just "transfer ownership", and I can click on the "accept" button (and then give you back admin priviledges)
--linas On Sat, Dec 15, 2018 at 10:30 PM Masayuki Hatta <[email protected]> wrote: > > Hi, > > As I wrote here sometime ago, I made and occasionally update OpenCog packages > for Debian / Ubuntu for my personal use. > > Recently I sorted out packaging files and put them into my GitHub repo: > https://github.com/mhatta/opencog-debian > > Seems now there is the "opencog-nix" repo in the official OpenCog GitHub > repo. How about transfering my opencog-debian to the official OpenCog repo? > > I think under the officia OpenCog repo, it would get more exposure (and > attention from the potential contributors). > > Best regards, > MH > > -- > You received this message because you are subscribed to the Google Groups > "opencog" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/opencog. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/727005c7-19de-418a-a49f-a2435dcdc0c6%40googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- cassette tapes - analog TV - film cameras - you -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CAHrUA34JFNFnXqjC0B-qdMkxQ6_WF3zB0CbQ5gAwbdF4YLCMWQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
