script/run-coverity: fix user

Signed-off-by: Sage Weil <sage@redhat.com>

diff --git a/src/script/run-coverity b/src/script/run-coverity
index 196a381fb7d5acae17e87677db19489e0bd77d05..3db67108cb4bbcd439bbf80e9c6acc069fae8991 100755 (executable)
--- a/src/script/run-coverity
+++ b/src/script/run-coverity
@@ -26,7 +26,7 @@ git submodule update
 cd src
 rm -f project.tgz
 make project.tgz
-scp -i ~/coverity_rsa project.tgz sage@ceph.com:/home/ceph_site/ceph.com/coverity/`git describe`.tgz
+scp -i ~/coverity_rsa project.tgz dhc-user@ceph.com:/home/ceph_site/ceph.com/coverity/`git describe`.tgz
 curl --data "project=ceph&password=`cat ~/coverity.build.pass.txt`&email=sage@newdream.net&url=http://ceph.com/coverity/`git describe`.tgz" http://scan5.coverity.com/cgi-bin/submit_build.py
 
 echo done.