Bug 1005185: Delete repo lock files. r=aki
bug 1007437 - allow for merging gaia github pull requests. r=aki
bug 1007437 -- spell refpsec correctly r=bustage