[Agda-dev] Other new branch in the standard library repository:
2.4.2.2
Nicolas Pouillard
np at nicolaspouillard.fr
Tue Mar 17 20:55:35 CET 2015
I think this is not worth the effort. In particular to require the effort being done upfront.
I would prefer a model where one would backport/cherry-pick the changes from master
to a branch at the moment of the release.
On 03/17/2015 02:46 PM, Andrés Sicard-Ramírez wrote:
> On 17 March 2015 at 04:06, Nils Anders Danielsson <nad at cse.gu.se> wrote:
> > I think this is too complicated, and takes too much time. Can't we
> > restrict development to the master branch, and use the other branches
> > for bug-fixes?
>
> How can we test in the maintenance branch of Agda all the new stuff in
> the development version (master branch) of the standard library?
>
--
Best regards,
-- NP
More information about the Agda-dev
mailing list