[webkit-dev] Github repository not being updated

Jesus Sanchez-Palencia jesus at webkit.org
Mon Feb 18 09:33:32 PST 2013

Fixed a few hours ago.

During my holidays last week there was a network failure problem,
followed by one of those vcproj files becoming "dirty" and not
allowing the mirror to update itself.

Sorry of the inconvenience.


2013/2/16 Vivek Galatage <vivekg at webkit.org>:
> Hello Webkit-dev,
> I am using the github repository https://github.com/webkit/webkit but since
> the rev 142863 its not been updated. i.e. since 3 days.
> So wanted to see if someone who is maintaining this repo can look into this
> and fix if possible.
> Many thanks,
> Vivek
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev

More information about the webkit-dev mailing list