[Agda-dev] Other new branch in the standard library repository: 2.4.2.2

[Nicolas Pouillard]

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