Unless Mark or anyone else sees any problems, I think you can push this
commit. Get an account at
https://admin.fedoraproject.org/accounts/ and
then apply to join the gitelfutils group. We'll approve your membership
and then you can do:
git config url.ssh://USERNAME@git.fedorahosted.org/.pushinsteadof
git://git.fedorahosted.org/
git remote update
git rebase origin/master
git push origin HEAD:master
Thanks,
Roland