<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">no pushes to <a href="http://git.ardour.org">git.ardour.org</a> until after 08:00 August 15th, please.<br></div></div>