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.

Sign up for GitHub

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

Jump to bottom

Updates for Vanderbilt Faculty #7593

Merged
merged 5 commits into from
Nov 12, 2024
Merged

Updates for Vanderbilt Faculty #7593

merged 5 commits into from
Nov 12, 2024

Commits on Sep 2, 2024

  1. Correcting usernames, DBLP names, and google scholar uids for two fac… 

    …ulty at Vanderbilt

Updates to: Dan Lin 0001 (internal webpage links changed, and google scholar ID was redirecting to the new ID)

Douglas H. Fisher now has correct DBLP username, is in correct alphabetical order, webpage is updated, and google scholar is now correct (previous ID pointed to someone with the same name but at san diego state).
    @sprinkjm
    sprinkjm authored Sep 2, 2024
    Configuration menu
    Copy the full SHA
    61ad815 View commit details
    Browse the repository at this point in the history

  2. Correcting webpage for Vanderbilt Faculty 

    Gabor Karsai webpage needed update after internal links changed.
    @sprinkjm
    sprinkjm authored Sep 2, 2024
    Configuration menu
    Copy the full SHA
    517d816 View commit details
    Browse the repository at this point in the history

  3. New faculty member entry at Vanderbilt 

    Added faculty Jonathan Sprinkle
    @sprinkjm
    sprinkjm authored Sep 2, 2024
    Configuration menu
    Copy the full SHA
    85ba37e View commit details
    Browse the repository at this point in the history

  4. Added new faculty for Vanderbilt University 

    Added faculty Thomas Beckers 0001 to Vanderbilt.
    @sprinkjm
    sprinkjm authored Sep 2, 2024
    Configuration menu
    Copy the full SHA
    f1b6475 View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2024

  1. Merge branch 'gh-pages' into gh-pages

    @emeryberger
    emeryberger authored Nov 12, 2024
    Configuration menu
    Copy the full SHA
    84bfbcf View commit details
    Browse the repository at this point in the history