On Thu, 2017-10-12 at 21:55 +0200, Jiří Zárevúcky wrote: > On 12 October 2017 at 21:42, Jan Vesely <[email protected]> wrote: > > Hi, > > > > > > I've added a 'merged' branch to the experimental git repo [0]. It > > incudes all older svn + bzr history. It also preserves the committer > > information. > > The script runs ~5mins and the hashes are the same every time it runs, > > so the history should be stable. Nonetheless, I'd prefer if the switch > > to git happened sooner rather than later, as it adds extra steps/time > > to the usual 'git bzr pull; git push' that is enough to keep the master > > branch (bzr history only) up to date. > > > > We can temporarily switch to using a github repo as our main > repository, and then switch back to our own infrastructure when it's > ready. That way the transition happens with least pain possible.
oh, is that the holdup? What's the appeal of custom infrastructure over github? Wouldn't it be beneficial to get rid of part of the admin duties? Jan > > -- jzr > > _______________________________________________ > HelenOS-devel mailing list > [email protected] > http://lists.modry.cz/listinfo/helenos-devel
signature.asc
Description: This is a digitally signed message part
_______________________________________________ HelenOS-devel mailing list [email protected] http://lists.modry.cz/listinfo/helenos-devel
