If you deleted or renamed a pubkey file after 5fd9328 went in (April 12th), please:
- upgrade asap, then - go to your latest gitolite-admin clone and "git push -f"
Otherwise this is not urgent and does not affect you.
Please see the latest "master" commit (1e06fea) for more details.
Sorry about that, and of course feel free to email or holler at me on #git :)
Sitaram