Google Code-in

In previous years Google Code-in students were asked to register a nickname on IRC, and then with their registered IRC nickname enable push access for themselves via HGBot.

This year every student is able to login via their Google account and already get a randomly generated password ("secret"), stored in a sqlite3 database table:

CREATE TABLE users (id unsigned int not null primary key, secret text not null, username text,
    name text not null, email text not null, picture text, link text, mentor boolean not null);

The specific file used for Hg authentication is https://hg.copyleftgames.org/hgbot/file/tip/hgbotauth.py

Update this to additionally check the GCI users database and permit all users with a non-empty username field (aka verified GCI students) to login with their full JID (username@gci.copyleftgames.org) as their username.

When you're done, register yourself with HGBot via the old method (IRC) and push your changes to the hgbot repository. If you've done this task well, you may be the last GCI student to need to register for push access via the old method.