[Agda-dev] Other new branch in the standard library repository:
2.4.2.2
Nils Anders Danielsson
nad at cse.gu.se
Tue Mar 17 10:06:07 CET 2015
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
More information about the Agda-dev
mailing list