Re: Git Developer Pages cleanup

From: Jeff King <peff@peff.net>
Date: Nov 11, 2019, 04:15 UTC
Message-ID: <20191111041551.GD6379@sigill.intra.peff.net>
In-Reply-To: <CAP8UFD3sVR+Z3ktYUhSCtfCr9fY0btX2UEve+o0y=iuooVTVEQ@mail.gmail.com>

On Sun, Nov 10, 2019 at 07:15:35PM +0100, Christian Couder wrote:

Show 6 quoted lines

> Hi everyone,
> 
> For sometime I have been thinking about cleaning up the Git Developer
> Pages web site (https://git.github.io/), and making some of the
> documentation there more generic and possibly more useful for all kind
> of newcomers.

Thanks for taking care of this. I agree these pages have been in need of some cleanup for ages.

Show 9 quoted lines

> So I pushed the following commits:
> 
> * 17b7b3e SoC: remove 2017 SoC material from the navbar
> * 4e01d0a SoC: remove 2018 SoC material from the navbar
> * 7c13096 Outreachy: fix titles
> 
> Old GSoC and Outreachy material can now only be accessed through the
> Historical Summer of Code Materials
> (https://git.github.io/SoC-Historical/) link.

I almost wonder if they could be dropped entirely, as they'd still be accessible via the Git repository. But maybe somebody finds it useful to be able to see them from the built web page.

Show 6 quoted lines

> * 717ec3c Add General-Microproject-Information.md
> 
> Extract information from https://git.github.io/SoC-2019-Microprojects/
> to make it independent of GSoC or Outreachy. I think it's really
> better to have a separate document and just link to it, instead of
> copy pasting it each time.

Yeah, this is much better.

-Peff