function GithubBadge(json) {
  if (json) {
    var badge = new Object();
    badge['username'] = json.user.login;
    badge['repos'] = _.select(json.user.repositories, function(r) {
      return !r.fork && '' != r.description;
    }).sort(function() {
      return (Math.round(Math.random()) - 0.5);
    }).slice(0, 12);
    $('#github-badge').html(Jaml.render('github-badge', badge));
    if (!$.browser.msie) { $('a.github').tooltip(); }
  }
}