ok agree: fenics-dev-tools I'll set it up.
-- Anders Mon Jan 19 2015 at 12:58:25 AM skrev Garth N. Wells <[email protected]>: > > On Sun, 18 Jan, 2015 at 11:21 PM, Anders Logg <[email protected]> wrote: > > I would like to create a new repository that could hold developer > > tools like both FEniCS Install and fenics-release. Other things that > > could be added are Martin's script for updating/building all packages > > etc. > > > > Possible names are > > > > fenics-dev (repository name) > > FEniCS Developer Tools (repository label) > > > > Other options? > > How about > > fenics-dev-tools > > 'fenics-dev' is too generic and sounds like it should hold the actual > code. > > > Another possibility would be to create a new named just fenics / > > FEniCS where this could go, possibly as a starting point for a FEniCS > > "super repository". Thoughts? > > We need someone to experiment with subtrees before knowing if a > super-repo is the right path to go down. > > Garth > > > -- > > Anders > > > >
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
