> On Dec 1, 2020, at 11:57 AM, Jonathan Bedard <jbed...@apple.com> wrote: > > > >> On Dec 1, 2020, at 1:55 PM, Yusuke Suzuki <ysuz...@apple.com >> <mailto: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.
Cool! Let me know in slack etc. when the repository gets ready. I’ll look into GitHub integration for commits and retire WKR feature if GitHub slack integration can cover that feature. -Yusuke > > 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 >>> <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