Hi all - I'm having a problem with a user account and Galaxy getting confused with it being internal vs external.

When we first set up galaxy, we were using Galaxy's internal authentication system.  This worked well but all our users then had another password to keep track of.  

We activated external user authentication a few months ago and it works fine for us.  

This user hasn't logged in since and recently tried but is unable to.   

I discovered her account in Galaxy appears as an internal account eg created before we were using external authentication.   Now that we have external authentication, Galaxy doesn't recognize her and she gets the user_disabled page whenever she tries to log in.

Is there a way I can change her account in Galaxy from being an internal to an external account?