Hi everyone,

We had little bit of issue with syncing between WebKit's github and svn 
repositories. To fix the issue, we had to force push and modify few git commits.

In case you notice any conflict in your github.com <http://github.com/> 
checkout of WebKit repo (which might be because of having one of those commits 
which we modified), please do the following: "git reset --hard HEAD~100", "git 
pull".

Please let me know if you face any issues.

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

Reply via email to