travis-ci/travis-core — pull request #197 by rkh (2013-03-18 15:59:15+00:00)
Title: [WIP] better user sync

Do not merge.