Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add badges to ProfileHeader #2407

Merged
merged 8 commits into from
Apr 18, 2018
Merged

Add badges to ProfileHeader #2407

merged 8 commits into from
Apr 18, 2018

Commits on Apr 15, 2018

  1. add badges to ProfileHeader

    jorolf committed Apr 15, 2018
    Configuration menu
    Copy the full SHA
    6ca714d View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    af755b4 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2018

  1. badge_size is the actual badge size now

    also fixes rotateBadges bug when hover is lost
    jorolf committed Apr 16, 2018
    Configuration menu
    Copy the full SHA
    af0c49c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    2a18b4c View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    046412f View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    de9f15f View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    ddd5938 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2018

  1. Simplify child definition

    peppy committed Apr 18, 2018
    Configuration menu
    Copy the full SHA
    a827fb5 View commit details
    Browse the repository at this point in the history