This PR updates the `GET /user` endpoint to update the user's email and name from the provided GitHub profile information on sign-in. Currently, these fields were only set when the user was first created. Release Notes: - N/A
POST /predict_edits
POST /snowflake/events
.env.toml
run_database_migrations