I saw that WebKit.git stops.

https://git.webkit.org/?p=WebKit.git;a=summary

On Sat, Sep 9, 2017 at 1:29 Alexey Proskuryakov <ap@webkit.org> wrote:

Is anyone still seeing issues? I see a number of patches landed overnight, including by commit queue.

One problem I do see is that trac is stale.

- Alexey


8 сент. 2017 г., в 3:19, Carlos Alberto Lopez Perez <clopez@igalia.com> написал(а):

On 08/09/17 11:56, Carlos Alberto Lopez Perez wrote:
On 08/09/17 04:07, Ling Ho wrote:
We have completed server maintenance works. Please email
admin@webkit.org if you encounter any problem.

It seems there is an issue with the SVN server?
Is rejecting both commits from commit-queue or manually landed.

$ git svn dcommit
Committing to http://svn.webkit.org/repository/webkit/trunk ...
D Tools/wpe/patches/freetype6-2.4.11-truetype-font-height-fix.patch
M Source/WebCore/ChangeLog

ERROR from SVN:
Item is out of date: File '/trunk/Source/WebCore/ChangeLog' is out of date
W: 7e9ab8012eb85cca13a55ea65bc0f194c37a11b7 and refs/remotes/origin/master differ, using rebase:
:040000 040000 a0c128f45219a4f568ffb7b27336ca501b1fc64f 5f584218e40d75a9c39c52b76fd648459857f264 M Source
:040000 040000 42e7bcb4148039d4fcc172c267b7db51f0ee98f8 7faa3cb8917a0bdbd9d0d34942b8d5422ee72eb9 M Tools
Current branch master is up to date.
ERROR: Not all changes have been committed into SVN, however the committed
ones (if any) seem to be successfully integrated into the working tree.
Please see the above messages for details.



_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev


Also SVN trunk is still at r221777, but on the IRC channel #webkit WKR
has claimed to have landed r221778 and r221779 (and closed bugs 176252
and 176303), and I can't see this commits anywhere on the SVN.

_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev
--
Regards,
Yusuke Suzuki