push-hook: now also adds 'admin' keys from the admins file