Proposal: project pages deployment through GitLab

Raymond Toy toy.raymond at
Fri Nov 2 23:11:21 UTC 2018

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.

I think would be nice as well since that's how I
manage my various github pages projects.  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.)

Again, I haven't given a lot of thought about this, but on the face of it,
it seems nice for people use 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.

(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!)

On Sun, Oct 28, 2018 at 11:24 AM Erik Huelsmann <ehuelsmann at>

> 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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the clo-devel mailing list