Fix warden-github's user module name.