Comment by kbart

I have 'tools' repository on my local gitolite server just for that. Saved a lot of time already.