<div dir="ltr">Personally I'm in favour of a generous use of branches.<div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Jun 12, 2014 at 10:35 AM, Andreas Abel <span dir="ltr"><<a href="mailto:abela@chalmers.se" target="_blank">abela@chalmers.se</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Good!<br>
<br>
We should clarify how to work with the new repo in terms of branches etc.; draft a short note on the "best practices" on how to use or not use branching for<br>
<br>
* fixing a bug<br>
* adding a new feature<br>
<br>
Suggestions for a workflow model welcome!<br>
<br>
Cheers,<br>
Andreas<div><div class="h5"><br>
<br>
On 11.06.2014 21:03, Ulf Norell wrote:<br>
</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">
We have been talking about moving the Agda repo from darcs to git<br>
for a while. With 2.4.0 is out the door it's time to take the plunge. If<br>
you have any outstanding patches it might be a good idea to get them<br>
into the main repo now. It's not critical though--we will still be able to<br>
apply darcs patches after the move but it's a little bit of a hassle.<br>
<br>
I'll make the move some time around the weekend.<br>
<br>
/ Ulf<br>
<br>
<br></div></div><div class="">
______________________________<u></u>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/<u></u>mailman/listinfo/agda</a><br>
<br>
</div></blockquote><span class="HOEnZb"><font color="#888888">
<br>
<br>
-- <br>
Andreas Abel <>< Du bist der geliebte Mensch.<br>
<br>
Department of Computer Science and Engineering<br>
Chalmers and Gothenburg University, Sweden<br>
<br>
<a href="mailto:andreas.abel@gu.se" target="_blank">andreas.abel@gu.se</a><br>
<a href="http://www2.tcs.ifi.lmu.de/~abel/" target="_blank">http://www2.tcs.ifi.lmu.de/~<u></u>abel/</a><br>
</font></span></blockquote></div><br></div>