<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html;
      charset=windows-1252">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p>I'm working on it.</p>
    <p>--Steve<br>
    </p>
    <br>
    <div class="moz-cite-prefix">On 04/20/2018 10:14 AM,
      <a class="moz-txt-link-abbreviated" href="mailto:ian.hinder@aei.mpg.de">ian.hinder@aei.mpg.de</a> wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:8DCA718B-4B23-4AFE-814B-14002BF1C44F@aei.mpg.de">
      <meta http-equiv="Content-Type" content="text/html;
        charset=windows-1252">
      Hi Steve,
      <div class=""><br class="">
      </div>
      <div class="">If I push to the ET website repo, does it
        automatically get reflected on the web?  Or do I need to click
        the button on</div>
      <div class=""><br class="">
      </div>
      <div class=""><a href="http://einsteintoolkit.org/update.php"
          class="" moz-do-not-send="true">http://einsteintoolkit.org/update.php</a></div>
      <div class=""><br class="">
      </div>
      <div class="">?</div>
      <div class=""><br class="">
      </div>
      <div class="">What else does that button do?</div>
      <div class=""><br class="">
        <div class="">
          <span style="color: rgb(0, 0, 0); font-family: Helvetica;
            font-size: 12px; font-style: normal; font-variant-caps:
            normal; font-weight: normal; letter-spacing: normal;
            orphans: auto; text-align: start; text-indent: 0px;
            text-transform: none; white-space: normal; widows: auto;
            word-spacing: 0px; -webkit-text-size-adjust: auto;
            -webkit-text-stroke-width: 0px; display: inline !important;
            float: none;" class="">-- </span><br style="color: rgb(0, 0,
            0); font-family: Helvetica; font-size: 12px; font-style:
            normal; font-variant-caps: normal; font-weight: normal;
            letter-spacing: normal; orphans: auto; text-align: start;
            text-indent: 0px; text-transform: none; white-space: normal;
            widows: auto; word-spacing: 0px; -webkit-text-size-adjust:
            auto; -webkit-text-stroke-width: 0px;" class="">
          <span style="color: rgb(0, 0, 0); font-family: Helvetica;
            font-size: 12px; font-style: normal; font-variant-caps:
            normal; font-weight: normal; letter-spacing: normal;
            orphans: auto; text-align: start; text-indent: 0px;
            text-transform: none; white-space: normal; widows: auto;
            word-spacing: 0px; -webkit-text-size-adjust: auto;
            -webkit-text-stroke-width: 0px; display: inline !important;
            float: none;" class="">Ian Hinder</span><br style="color:
            rgb(0, 0, 0); font-family: Helvetica; font-size: 12px;
            font-style: normal; font-variant-caps: normal; font-weight:
            normal; letter-spacing: normal; orphans: auto; text-align:
            start; text-indent: 0px; text-transform: none; white-space:
            normal; widows: auto; word-spacing: 0px;
            -webkit-text-size-adjust: auto; -webkit-text-stroke-width:
            0px;" class="">
          <span style="color: rgb(0, 0, 0); font-family: Helvetica;
            font-size: 12px; font-style: normal; font-variant-caps:
            normal; font-weight: normal; letter-spacing: normal;
            orphans: auto; text-align: start; text-indent: 0px;
            text-transform: none; white-space: normal; widows: auto;
            word-spacing: 0px; -webkit-text-size-adjust: auto;
            -webkit-text-stroke-width: 0px; display: inline !important;
            float: none;" class=""><a
              href="http://members.aei.mpg.de/ianhin" class=""
              moz-do-not-send="true">http://members.aei.mpg.de/ianhin</a></span>
        </div>
        <br class="">
      </div>
    </blockquote>
    <br>
  </body>
</html>