tree ce9ee6783be3d4aae8ca12d4ec622a68734014b9
parent 6a1789327d1c4808986aefd148d285bcec07f8ed
author Andrew Hutchings <andrew@linuxjedi.co.uk> 1337348017 +0100
committer Andrew Hutchings <andrew@linuxjedi.co.uk> 1337348017 +0100

Add SSH key syncing to user sync

Previously the user update script only synced the SSH keys upon adding a user.
This will make it add new keys to gerrit on every run.

Fixes bug #1001180

Also added a lock file since it is sometimes taking longer than 15 minutes to
execute (especially now we are pulling SSH keys) and has jammed up StackForge.

Change-Id: I28fd0f557568c20a07e724bcd3d9c789a62fff42