On 20 March 2015 at 09:17, Wolfram Kahl <kahl at cas.mcmaster.ca> wrote: > How do I ``git clone'' Agda maint-2.4.2 directly? $ git clone https://github.com/agda/agda.git --branch maint-2.4.2 --single-branch -- Andrés