Grab gitolite admin public key from user

Is there a reason we don't simply copy the users public key directly instead of telling them to copy and rename it manually?