> On Dec 1, 2020, at 1:55 PM, Yusuke Suzuki <ysuz...@apple.com> wrote: > > Hi Jonathan! > >> On Dec 1, 2020, at 8:22 AM, Jonathan Bedard via webkit-dev >> <webkit-dev@lists.webkit.org <mailto:webkit-dev@lists.webkit.org>> wrote: >> >> Hello contributors, >> >> I am in the process of modifying one of our Git mirrors of the repository >> for permanent use. As part of that modification, I am repairing authorship >> of historical commits based on contributors.json. This effort includes our >> branches and resolving commits attributed to commit-queue but authored by >> contributors. Once this task of rewriting history is completed, I will push >> the new repository to GitHub to replace the broken mirror that currently >> resides there. > > Does it mean that https://github.com/WebKit/WebKit > <https://github.com/WebKit/WebKit> will become an usual repository (not > GitHub sync-ed mirror repository) which is mirrored by ourselves? > Previously, when I tried, GitHub-mirrored repository does not invoke > web-hooks correctly, and it was the reason why I needed to create WKR bots. > But if WebKit in GitHub repository becomes an usual repository (while it is > mirrored, it is not mirrored by GitHub side), I think this is a good timing > to setting up GitHub <-> slack integration to put commits into #changes and > retiring WKR bot (while WebKitBot exists).
It does mean that https://github.com/WebKit/WebKit <https://github.com/WebKit/WebKit> will become a normal GitHub repository! That being said, I need to set up the automated syncing before we start using web-hooks. Jonathan > > -Yusuke > >> >> Since the new repository will have correctly attributed commits, now is a >> good time to ensure that the email address (or addresses) that you use or >> have used to contribute to WebKit are attached to your GitHub account, since >> this is how GitHub connects a user to their contributions. >> >> Also note that GitHub will still just be a mirror for the next few months, >> so there is no requirement to have an account with GitHub yet. >> >> Jonathan >> _______________________________________________ >> webkit-dev mailing list >> webkit-dev@lists.webkit.org <mailto: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
