- From: Fuqiao Xue via GitHub <sysbot+gh@w3.org>
- Date: Thu, 26 Dec 2019 03:00:27 +0000
- To: public-i18n-archive@w3.org
> I agree with points 1 and 2 by Richard, but not sure point 3 could work well by means of uniqueness, like two editors start working on separate PR from the same day. It may require some additional work, but how about to use github issue/PR ID for the first set? I agree that this is an issue, but this method might not work if: 1. the commit does not have an associated issue/PR, or 2. we decide to move from GitHub to another code hosting platform in the future (so the issue number might conflict). We can solve `#1` by requiring every commit (or every commit that adds a new ID) to have an issue/PR associated with it, but I'm not sure how to solve `#2`. -- GitHub Notification of comment by xfq Please view or discuss this issue at https://github.com/w3c/jlreq/issues/154#issuecomment-568955690 using your GitHub account
Received on Thursday, 26 December 2019 03:00:29 UTC