On Mon, 18 Sept 2023 at 20:18, Daniel Gruno wrote:
>
> Hi, whimsy folks,
> Could you please remove the GitHub ID field from the whimsy roster service?
> The field is not canonical/authoritative, and mostly just serves to confuse
> new committers these days. The only authoritative place for GitHub
Hi, whimsy folks,
Could you please remove the GitHub ID field from the whimsy roster service?
The field is not canonical/authoritative, and mostly just serves to confuse new
committers these days. The only authoritative place for GitHub IDs is through
https://gitbox.apache.org/boxer/
With regard
