<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p><font size="4">Hi Eze,<br>
      </font></p>
    <p><font size="4">Your Bash kung-fu seems definitely better than
        mine, so I can't really tell in detail. </font></p>
    <p><font size="4">Nevertheless it looks definitely better factored
        than the current bash scripts. I don't know about git rebase vs
        pull, my mastering of git is too weak to have an opinion.</font></p>
    <p><font size="4">Hilaire<br>
      </font></p>
    <pre class="moz-signature" cols="72">-- 
<a class="moz-txt-link-freetext" href="http://mamot.fr/@drgeo">http://mamot.fr/@drgeo</a></pre>
  </body>
</html>