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

[Nils Anders Danielsson]

On 2015-03-17 04:48, Andrés Sicard-Ramírez wrote:
> A. Your commit is compatible with Agda 2.4.2.2
>
> 1. Push your commit in the 2.4.2.2 branch
> 2. Merge the 2.4.2.2 branch into the 2.4.2.3 branch
> 3. Merge the 2.4.2.3 branch into the master branch
>
> B. Your commit requires the maintenance version of Agda (i.e. Agda 2.4.2.3)
>
> 1. Push your commit in the 2.4.2.3 branch
> 2. Merge the 2.4.2.3 branch into the master branch
>
> C. Your commit requires the master version of Agda
> 1.  Push your commit in the master branch

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?

-- 
/NAD