The WebKit SVN tree is now open. ... Ling Ho On 11/19/20 11:18 AM, Ling Ho wrote:

This is a reminder that the WebKit SVN source tree will be close for commit this coming weekend.

I will send out an email once the tree is open again after the maintenance.

Thanks, ... Ling Ho

On 11/11/20 6:16 PM, Ling Ho wrote:

...

Hello WebKit,

Some of our critical continuous integration services will be unavailable due to planned underlying infrastructure maintenance.

Most EWS and post-commit bots will be down, so we will be closing the WebKit SVN tree to avoid accumulating difficult to diagnose regressions during this lengthy outage.

The planned closure of the tree will begin at *8 pm (PST) on Sunday, Nov 22nd, 2020* until no later than *11 pm (PST) on Thursday, Nov 26th**, 2020.

*Please email admin@webkit.org if you have any questions or concerns.

Thanks,

... Ling Ho

On Thu, Nov 26, 2020 at 11:33 PM Adrien Destugues via webkit-dev < webkit-dev@lists.webkit.org> wrote:

I noticed that the github mirror at https://github.com/webkit/webkit is not getting the latest commits from WebKit (it is now about a month behind). Is that intentional?

We're actively working on resolving this issue. This current disruption is caused by GitHub repository preferring to Git repository created off of accessing the source-of-the-truth subversion repository over HTTPS instead of accessing it over HTTP. However, since we're in the midst of Git transition and this transition requires us adding a new numeric identifier to each commit message, we're doing that work so that we can push one new Git repository to GitHub instead of temporarily fixing this issue and then later causing a disruption again. Sorry for the inconveniences & thanks for your understanding. - R. Niwa