RFR: Initial version of census upgrade bot [v3]

[Magnus Ihse Bursie]

On Wed, 17 Feb 2021 14:33:09 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

>> Allows automated conversion of census.xml to the Skara format.
>
> Robin Westberg has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Apply review comments

bots/censussync/src/main/java/org/openjdk/skara/bots/censussync/CensusSyncSplitBot.java line 179:

> 177:                         break;
> 178:                     default:
> 179:                         if (name.equals("openjfx") && (username.equals("dwookey") || username.equals("jpereda"))) {

I know this is already integrated, but these sounds like weird hard-coded exceptions? If there are issues in the census data, maybe they should be fixed instead?

-------------

PR: https://git.openjdk.java.net/skara/pull/1019