Proposal: project pages deployment through GitLab

Erik Huelsmann ehuelsmann at
Sat Nov 3 15:40:42 UTC 2018

Hi Raymond,

On Sat, Nov 3, 2018 at 12:12 AM Raymond Toy <toy.raymond at> wrote:

> I haven't given a great deal of thought about this because I just learned
> about gitlab pages.  Right now just having thing
> <*/> is
> ok, because cmucl just copies it's web pages to public_html/mirror (or
> something) and (maybe still?) and just rsyncs
> that directory periodically.

The way I'm using GitLab Pages on is a "light" (or
modified) version of GitLab Pages. However, when this all turns out to be a
success (and when I migrate the VM to a machine which has spare IP
addresses), we can go for the "full" GitLab Pages version, which includes
you being able to run the domain on our server and directly
deploy to that.

> I think would be nice as well since that's how I
> manage my various github pages projects.

Ok. That's something to work on. Would be nice to gather feedback and see
if people prefer this over* pages.

> It would be convenient I think if my cmucl-www repo could have html pages
> (via markdown or whatever) automatically get displayed an
> (or something) without me having to do a bit of
> manual work that I have to do today. (Changes are infrequent now because
> I'm just a lazy guy.)

Right. That's what this change is about: if you set up a GitLab project
named "cmucl/cmucl-site" (and appropriate deployment instructions using
.gitlab-ci.yml, as per my earlier e-mail), your pages will be automatically
deployed after you push to the repository.

> Again, I haven't given a lot of thought about this, but on the face of it,
> it seems nice for people used to github.

> But I also understand that this is done by volunteers so I don't
> definitely don't want to overtax the very generous volunteers working on
> this!  There's certainly no rush.

Yea. Actually I think this change cuts both ways though: it'll help you
deploy your site *and* it helps me simplify as well as modernize the '' services.

> (And I noticed a bit ago that's gitlab wiki now supports kaTeX in
> markdown pages which is really great to see!  I wish it were Mathjax
> instead, but kaTeX is certainly better than none!)

As for Mathjax, you could put a plea in with the GitLab developers? :-)

Anyway, if you have any questions, feel free to ask here on the list and
I'm happy to help!



> On Sun, Oct 28, 2018 at 11:24 AM Erik Huelsmann <
> ehuelsmann at> wrote:
>> Hi Raymond,
>> Thanks for your reaction!
>> On Sun, Oct 28, 2018 at 6:52 PM Raymond Toy <toy.raymond at>
>> wrote:
>>> Heh. I noticed recently that gitlab was finally adding project pages
>>> like github gh-pages.  I was gong to ask if this was available on
>>>  IIRC, these are essentiall static (mostly) html pages for
>>> your site so you can host documentation and such.  I'd be interested in
>>> this since cmucl hosts its html page elsewhere, and it'a somewhat of a pain
>>> to update them.
>>> I'm interested!  And again, thanks for all your hard work on this!
>> You're welcome.
>> Just for my clear understanding, since you explicitly reference "github
>> pages": I was planning to map the static content to the "regular" project
>> pages space:*/ . Is that sufficient? Or
>> were you thinking of using your own domain? Or are you looking for
>> something like "" ?
>> Regards,
>> Erik.
> --
> Ray
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the clo-devel mailing list