
<html>

  <head>

    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    <font size="+1">I've never used SourceTree, and it is, of course,

      very difficult to debug such things from afar.<br>

      <br>

    </font><font size="+1">I could of course, with your permission,

      simply commit and push the entry myself.<br>

      <br>

    </font><font size="+1">Cheers,<br>

      <br>

    </font><font size="+1">Manuel</font><br>

  </body>

</html>