Andrew Hutchings a12bab8988 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
2012-05-18 14:33:37 +01:00
..
2012-05-18 14:33:37 +01:00
2012-05-01 17:31:05 -04:00
2012-04-11 22:38:15 +00:00
2012-03-21 15:35:47 +00:00
2012-03-26 14:15:31 +01:00