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 regards, Daniel.
