Re: [webkit-dev] Commit Queue down for maintainence

2021-07-28 Thread Aakash Jain via webkit-dev
Commit Queue is back online. Please let me know if you notice any issue.

Thanks
Aakash

> On Jul 28, 2021, at 1:27 PM, Aakash Jain  wrote:
> 
> Hi Everyone,
> 
> We just took commit-queue bots offline for some maintenance. I will send 
> another update when they are back online.
> 
> Thanks
> Aakash

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


[webkit-dev] Fixed merged commits in GitHub Mirror

2021-07-28 Thread Jonathan Bedard via webkit-dev
Morning folks,

Last Friday, git-svn failed us and merged two commits together (this was the 
cause of the incorrect commits.webkit.org  links 
folks saw over the last few days). I’ve fixed it, but that fix involves 
force-pushing, if you have a GitHub checkout, you might need to `git reset 
HEAD~125 —hard` and re-pull to fix the problem (be aware of local commits you 
may have, because `git reset —hard` will throw those out).

Thank you for your patience,

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


[webkit-dev] Commit Queue down for maintainence

2021-07-28 Thread Aakash Jain via webkit-dev
Hi Everyone,

We just took commit-queue bots offline for some maintenance. I will send 
another update when they are back online.

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