wp-config.php
// Mike's token to get past GitHub rate limits.
define( 'MAI_UPDATER_TOKEN', '0accb5d5548acbfc087da6f0ba9fa24724689657' );
// Dave's token to get past GitHub rate limits.
define( 'MAI_UPDATER_TOKEN', 'eb35aba315387fe1366f335f6660bcc4031c5880' );