Ticket #6016: #6016.patch

api.wordpress.org/public_html/dotorg/github/activity.php

@@ -59 +59 @@
  * 
  * @param string $user The GitHub username.
  * @return false|int The WordPress.org User ID on success, false on failure.
+ * @global wpdb  $wpdb WordPress database abstraction object.
  */
 function github_user_to_user_id( $user ) {
         global $wpdb;