Request for adding my github userid ..

[Rony G. Flatscher]

Trying to place my first pull requests via github and received the following e-mail:

--- cut ---

Hi ronyfla, welcome to this OpenJDK project and thanks for contributing!

We do not recognize you as Contributor <https://openjdk.java.net/bylaws#contributor> and need to
ensure you have signed the Oracle Contributor Agreement (OCA). If you have not signed the OCA,
please follow the instructions <https://www.oracle.com/technetwork/community/oca-486395.html>.
Please fill in your GitHub username in the "Username" field of the application. Once you have signed
the OCA, please let us know by writing |/signed| in a comment in this pull request.

If you already are an OpenJDK Author <https://openjdk.java.net/bylaws#author>, Committer
<https://openjdk.java.net/bylaws#committer> or Reviewer <https://openjdk.java.net/bylaws#reviewer>,
please click here <https://bugs.openjdk.java.net/secure/CreateIssue.jspa?pid=11300&issuetype=1> to
open a new issue so that we can record that fact. Please use "Add GitHub user ronyfla" as summary
for the issue.

If you are contributing this work on behalf of your employer and your employer has signed the OCA,
please let us know by writing |/covered| in a comment in this pull request.

--- cut ---

So I am kindly requesting to associate my github user id 'ronyfla' with my signed OCA form such that
the pull requests can go forward.

TIA

---rony

P.S.: In the meantime I have changed the github e-mail address for 'ronyfla' to the one in the OCA
if that makes a difference.