<html>
  <head>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#333333">
    <br>
    <div class="moz-cite-prefix">On 2/10/19 11:23 , Chris Jones wrote:<br>
    </div>
    <blockquote
      cite="mid:28A5B3E0-3D9B-4B5B-83D2-0EF2A6EEEB00@hep.phy.cam.ac.uk"
      type="cite">
      <blockquote type="cite">
        <div dir="ltr">Speaking of that… Are there any plans to expand
          to GitLab? They have a great function to import/mirror from
          GitHub, which keep the repo updated.</div>
      </blockquote>
      What do you mean by expand to gitlab?. We have
      <div><br>
      </div>
      <div><a moz-do-not-send="true"
          href="https://github.com/macports/macports-ports/pull/3510">https://github.com/macports/macports-ports/pull/3510</a></div>
      <div><br>
      </div>
      <div>Which discusses adding a new port group for gitlab, or
        perhaps extending the github one to support other hosts.</div>
      <div><br>
      </div>
      <div> Chris</div>
    </blockquote>
    I guess I meant “expand” as i presence at other hosts. It was just
    an interest in if there are any plans to expand (being on 2 hosts
    for example), &/or move to another host (or self-hosted). The
    portgroup file is another thing. That one can be used from which
    ever host you're at. It was not from that perspective, how that one
    works. Sorry if I was unclear.<br>
    <br>
    <i>// Yes, I'm looking fwd to that one. :)</i><br>
    <br>
    · Eric<br>
  </body>
</html>