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

[Andrés Sicard-Ramírez]

On 17 March 2015 at 04:06, Nils Anders Danielsson <nad at cse.gu.se> wrote:
> 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?

In your approach, the master branch which version of Agda requires?


-- 
Andrés